Richard J. Waldinger

5 papers in the IJCAI proceedings

IJCAI 1985

The Origin of the Binary-Search Paradigm

with Zohar Manna

Details PDF

IJCAI 1979

A Deductive Approach to Program Synthesis

with Zohar Manna

Details PDF

IJCAI 1977

The Automatic Synthesis of Systems of Recursive Programs

with Zohar Manna

Details PDF

IJCAI 1975

Knowledge and Reasoning in Program Synthesis

with Zohar Manna

Details PDF

IJCAI 1969

PROW: A Step Toward Automatic Program Writing

with Richard C. T. Lee

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings