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
https://portal.mardi4nfdi.de/entity/Q3750140	1986-01-01	Paper
Special relations in automated deduction	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
Problematic features of programming languages: A situational-calculus approach	1981-01-01	Paper
Deductive synthesis of the unification algorithm	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/Q5660511	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5683688	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard Waldinger