Richard Waldinger

Available identifiers

zbMath Open waldinger.richard-jMaRDI QIDQ287329

List of research outcomes

Publication	Date of Publication	Type
Zohar Manna (1939--2018)	2019-12-18	Paper
In memory of Mark Stickel	2016-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3044643	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536767	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4518439	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4264730	1999-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4855375	1995-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4040458	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4016555	1993-01-16	Paper
The origin of a binary-search paradigm	1987-01-01	Paper
How to clear a block: a theory of plans	1987-01-01	Paper
Special relations in automated deduction	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750140	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690194	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711783	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3732981	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038596	1983-01-01	Paper
Deductive synthesis of the unification algorithm	1981-01-01	Paper
Problematic features of programming languages: A situational-calculus approach	1981-01-01	Paper
A Deductive Approach to Program Synthesis	1980-01-01	Paper
Synthesis: Dreams → Programs	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863048	1979-01-01	Paper
Is “sometime” sometimes better than “always”?	1978-01-01	Paper
The Logic of Computer Programming	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4157922	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136516	1976-01-01	Paper
Knowledge and reasoning in program synthesis	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4057565	1975-01-01	Paper
Reasoning about programs	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4089763	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068058	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5683688	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5660511	1972-01-01	Paper
Toward automatic program synthesis	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626264	1971-01-01	Paper

Research outcomes over time

This page was built for person: Richard Waldinger