( en | de | ru )

 

Disambiguation of "Waldinger, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Monotonicity Properties in Automated Deduction.

, , and . Artificial and Mathematical Theory of Computation, page 261-280. Academic Press / Elsevier, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dorothea Waldinger

Kurt Waldinger

Inge Waldinger

Claudia Waldinger

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Other publications of authors with the same name

Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment., and . AAAI Spring Symposium: Semantic Scientific Knowledge Integration, page 109-113. AAAI, (2008)A Deductive Approach to Program Synthesis., and . IJCAI, page 542-551. William Kaufmann, (1979)Monotonicity Properties in Automated Deduction., , and . Artificial and Mathematical Theory of Computation, page 261-280. Academic Press / Elsevier, (1991)DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer., and . AFIPS National Computer Conference, volume 47 of AFIPS Conference Proceedings, page 683-690. AFIPS Press, (1978)From Question-Answering to Information-Seeking Dialogs, , , , , , , and . (2002)Powerpoint presentation.A Deductive Approach to Program Synthesis, and . ACM Transactions on Programming Languages and Systems, 2 (1): 90--121 (1980)From Question-Answering to Information-Seeking Dialogs, , , , , , , and . (2001)Powerpoint presentation.Web Agents Cooperating Deductively.. FAABS, volume 1871 of Lecture Notes in Computer Science, page 250-262. Springer, (2000)The Synthesis of Structure Changing Programs., and . ICSE, page 175-187. IEEE Computer Society, (1978)Accessing Information and Services on the DAML-Enabled Web., , , , and . SemWeb, volume 40 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)