The SCEAS System
Navigation Menu

Conferences in DBLP

Analogical and Inductive Inference (AII) (aii)
1985 (conf/aii/1985)

  1. Jan A. Bergstra, Jan Willem Klop
    Verification of an alternating bit protocol by means of process algebra. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:9-23 [Conf]
  2. Wolfgang Bibel
    Predicative programming revisited. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:25-40 [Conf]
  3. Takeshi Shinohara
    Some problems on inductive inference from positive data. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:41-58 [Conf]
  4. Enn Tyugu
    Language and example of knowledge-based programming. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:59-72 [Conf]
  5. Robert P. Daley
    Inductive inference hierarchies: probabilistic vs pluralistic strategies. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:73-82 [Conf]
  6. Tamás Gergely, Konstantin Vershinin
    Natural mathematical texts vs. programs. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:83-100 [Conf]
  7. Klaus P. Jantke
    An algebraic framework for inductive program synthesis. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:101-122 [Conf]
  8. Helena Rasiowa, Andrzej Skowron
    Approximation logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:123-139 [Conf]
  9. Ognian Botusharov
    Learning on the basis of a polynomial pattern synthesis algorithm. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:141-148 [Conf]
  10. Jolanta Cybulka, Jerzy Bartoszek
    The proof-checking component for the PLEATS programming system enabling specification of theories. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:149-155 [Conf]
  11. Werner Dilger, Wolfgang Womann
    The METANET. A knowledge representation tool based on abstract data types. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:156-161 [Conf]
  12. Marek Ejsmont
    One more property of array languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:162-168 [Conf]
  13. Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
    Theoretical aspects of Sigma-programming. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:169-179 [Conf]
  14. Z. Habasinski
    Decidability in Pratt's process logics. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:180-184 [Conf]
  15. Steffen Lange
    A program synthesis algorithm exemplified. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:185-193 [Conf]
  16. Jacques Loeckx
    The algorithmic specification method of abstract data types: an overview. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:194-200 [Conf]
  17. Péter Komjáth, Zsolt Mihály Szabó
    Orientation problems on sequences by recursive functions. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:201-206 [Conf]
  18. Christian Posthoff, Joachim Reiß
    The solution of discrete problems by means of ternary representation. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:207-214 [Conf]
  19. Dieter Pötschke
    Formalizing analogical reasoning. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:215-218 [Conf]
  20. Gisela Schäfer
    Some results in the theory of effective program synthesis: learning by defective information. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:219-225 [Conf]
  21. Bernhard Thalheim
    Deductive normal forms of relations. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:226-230 [Conf]
  22. Rolf Wiehagen
    How fast is program synthesis from examples. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:231-239 [Conf]
  23. Thomas Zeugmann
    On recursive optimizers. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:240-245 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002