Richard Waldinger

From MaRDI portal
Person:287329

Available identifiers

zbMath Open waldinger.richard-jMaRDI QIDQ287329

List of research outcomes





PublicationDate of PublicationType
Zohar Manna (1939--2018)2019-12-18Paper
In memory of Mark Stickel2016-05-26Paper
https://portal.mardi4nfdi.de/entity/Q30446432004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q45367672002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45184392000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42647301999-10-10Paper
https://portal.mardi4nfdi.de/entity/Q48553751995-11-09Paper
https://portal.mardi4nfdi.de/entity/Q40404581993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q40165551993-01-16Paper
The origin of a binary-search paradigm1987-01-01Paper
How to clear a block: a theory of plans1987-01-01Paper
Special relations in automated deduction1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37501401986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36901941985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37117831985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37329811985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30385961983-01-01Paper
Deductive synthesis of the unification algorithm1981-01-01Paper
Problematic features of programming languages: A situational-calculus approach1981-01-01Paper
A Deductive Approach to Program Synthesis1980-01-01Paper
Synthesis: Dreams → Programs1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38630481979-01-01Paper
Is “sometime” sometimes better than “always”?1978-01-01Paper
The Logic of Computer Programming1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41579221977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41365161976-01-01Paper
Knowledge and reasoning in program synthesis1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40575651975-01-01Paper
Reasoning about programs1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40897631974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40680581973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56836881972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56605111972-01-01Paper
Toward automatic program synthesis1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56262641971-01-01Paper

Research outcomes over time

This page was built for person: Richard Waldinger