E-LIB Suche - Ergebnisse für: Waldinger, Richard

1

Zohar Manna (1939–2018):

Dershowitz, Nachum ; Waldinger, Richard
Formal Aspects of Computing. 31 (2019) 6 - p. 643-660 , 2019

Link: https://doi.org/10.1007/..

2

In Memory of Mark Stickel:

Baumgartner, Peter ; Bibel, Wolfgang ; Waldinger, Richard
Journal of Automated Reasoning. 56 (2015) 2 - p. 95-98 , 2015

Link: https://doi.org/10.1007/..

3

Deducing answers to english questions from structured data:

, In: Proceedings of the 16th international conference on Intelligent user interfaces,

Bobrow, Daniel G. ; Condoravdi, Cleo ; Richardson, Kyle.. - p. 299-302 , 2011

Link: https://dl.acm.org/doi/1..

4

Deductive Biocomputing:

Shrager, Jeff ; Waldinger, Richard ; Stickel, Mark..
PLoS ONE. 2 (2007) 4 - p. e339 , 2007

Link: https://doi.org/10.1371/..

5

A transaction logic for database specification:

Qian, Xiaolei ; Waldinger, Richard
ACM SIGMOD Record. 17 (1988) 3 - p. 243-250 , 1988

Link: https://doi.org/10.1145/..

6

A transaction logic for database specification:

, In: Proceedings of the 1988 ACM SIGMOD international conference on Management of data,

Qian, Xiaolei ; Waldinger, Richard - p. 243-250 , 1988

Link: https://dl.acm.org/doi/1..

7

The origin of a binary-search paradigm:

Manna, Zohar ; Waldinger, Richard
Science of Computer Programming. 9 (1987) 1 - p. 37-83 , 1987

Link: https://doi.org/10.1016/..

8

How to clear a block: A theory of plans:

Manna, Zohar ; Waldinger, Richard
Journal of Automated Reasoning. 3 (1987) 4 - p. , 1987

Link: https://doi.org/10.1007/..

9

Special relations in automated deduction:

Manna, Zohar ; Waldinger, Richard
Journal of the ACM. 33 (1986) 1 - p. 1-59 , 1986

Link: https://doi.org/10.1145/..

10

Special relations in automated deduction:

Manna, Zohar ; Waldinger, Richard
Journal of the ACM (JACM). 33 (1986) 1 - p. 1-59 , 1986

Link: https://dl.acm.org/doi/1..

11

Deductive reasoning

, In: The logical basis for computer programming / Zohar Manna; Richard Waldinger
Vol. 1,

Addison-Wesley series in computer science

Manna, Zohar ; Waldinger, Richard , 1985

Exemplar: Zentrale:Magazin 03.d.9118

12

TABLOG : The deductive-tableau programming language:

, In: Proceedings of the 1984 ACM Symposium on LISP and functional programming,

Malachi, Yonathan ; Manna, Zohar ; Waldinger, Richard - p. 323-330 , 1984

Link: https://dl.acm.org/doi/1..

13

Deductive synthesis of the unification algorithm:

Manna, Zohar ; Waldinger, Richard
Science of Computer Programming. 1 (1981) 1-2 - p. 5-48 , 1981

Link: https://doi.org/10.1016/..

14

Problematic features of programming languages: a situationa..:

Manna, Zohar ; Waldinger, Richard
Acta Informatica. 16 (1981) 4 - p. , 1981

Link: https://doi.org/10.1007/..

15

A Deductive Approach to Program Synthesis:

Manna, Zohar ; Waldinger, Richard
ACM Transactions on Programming Languages and Systems (TOPLAS). 2 (1980) 1 - p. 90-121 , 1980

Link: https://dl.acm.org/doi/1..