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]

Wolfgang Bibel Predicative programming revisited. [Citation Graph (0, 0)][DBLP] Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:25-40 [Conf]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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