Mathematical Methods of Specification and Synthesis of Software Systems

Keyphrases

Publications

volume 215, 1986

Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 Mathematical Methods of Specification and Synthesis of Software Systems 215 (1986)

1985

Robert P. Daley
Inductive inference hierarchies: probabilistic vs pluralistic strategies. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Zdzislaw Habasinski
Decidability in Pratt's process logics. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Takeshi Shinohara
Some problems on inductive inference from positive data. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Bernhard Thalheim
Deductive normal forms of relations. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Steffen Lange
A program synthesis algorithm exemplified. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Enn Tyugu
Language and example of knowledge-based programming. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Helena Rasiowa, Andrzej Skowron
Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Sergei S. Goncharov, Dmitri Ivanovich Sviridenko
Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Klaus P. Jantke
An algebraic framework for inductive program synthesis. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Werner Dilger, Wolfgang Womann
The METANET. A knowledge representation tool based on abstract data types. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Ognian Botusharov
Learning on the basis of a polynomial pattern synthesis algorithm. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Dieter Pötschke
Formalizing analogical reasoning. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Jan A. Bergstra, Jan Willem Klop
Verification of an alternating bit protocol by means of process algebra. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Rolf Wiehagen
How fast is program synthesis from examples. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Christian Posthoff, Joachim Reiß
The solution of discrete problems by means of ternary representation. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Tamás Gergely, Konstantin Vershinin
Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Jolanta Cybulka, Jerzy Bartoszek
The proof-checking component for the PLEATS programming system enabling specification of theories. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Marek Ejsmont
One more property of array languages. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Péter Komjáth, Zsolt Mihály Szabó
Orientation problems on sequences by recursive functions. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Gisela Schäfer
Some results in the theory of effective program synthesis: learning by defective information. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Thomas Zeugmann
On recursive optimizers. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Jacques Loeckx
The algorithmic specification method of abstract data types: an overview. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Wolfgang Bibel
Predicative programming revisited. Mathematical Methods of Specification and Synthesis of Software Systems (1985)