| Publication | Date of Publication | Type |
|---|
Zohar Manna (1939--2018)
Formal Aspects of Computing | 2019-12-18 | Paper |
In memory of Mark Stickel
Journal of Automated Reasoning | 2016-05-26 | Paper |
| scientific article; zbMATH DE number 2088374 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1759750 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1536570 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1348476 (Why is no real title available?) | 1999-10-10 | Paper |
| scientific article; zbMATH DE number 814830 (Why is no real title available?) | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 193652 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 88997 (Why is no real title available?) | 1993-01-16 | Paper |
The origin of a binary-search paradigm
Science of Computer Programming | 1987-01-01 | Paper |
How to clear a block: a theory of plans
Journal of Automated Reasoning | 1987-01-01 | Paper |
Special relations in automated deduction
Journal of the ACM | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3986669 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3913652 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3940762 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3965462 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3833278 (Why is no real title available?) | 1983-01-01 | Paper |
Deductive synthesis of the unification algorithm
Science of Computer Programming | 1981-01-01 | Paper |
Problematic features of programming languages: A situational-calculus approach
Acta Informatica | 1981-01-01 | Paper |
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
Synthesis: Dreams → Programs
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3666178 (Why is no real title available?) | 1979-01-01 | Paper |
Is “sometime” sometimes better than “always”?
Communications of the ACM | 1978-01-01 | Paper |
The Logic of Computer Programming
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3589703 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3564289 (Why is no real title available?) | 1976-01-01 | Paper |
Knowledge and reasoning in program synthesis
Artificial Intelligence | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3473283 (Why is no real title available?) | 1975-01-01 | Paper |
Reasoning about programs
Artificial Intelligence | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3509713 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3485177 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3420251 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3391943 (Why is no real title available?) | 1972-01-01 | Paper |
Toward automatic program synthesis
Communications of the ACM | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351173 (Why is no real title available?) | 1971-01-01 | Paper |
