It is shown that theorem proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for...
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association...
This volume contains revised versions of presentations at the International Workshop on Analogical and Inductive Inference (AII '86) held in Wendisch-...
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986...
Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the...
