|
Richard J. Waldinger:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Xiaolei Qian:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Xiaolei Qian cite Richard J. WaldingerOrdered by citing publication[Change the order to 'ordered by cited']
-
Xiaolei Qian, Richard J. Waldinger
A Transaction Logic for Database Specification. [Citation Graph (7, 15)][DBLP] SIGMOD Conference, 1988, pp:243-250 [Conf] Cites:
-
Zohar Manna, Richard J. Waldinger
The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP] AAAI, 1987, pp:155-160 [Conf]
-
Zohar Manna, Richard J. Waldinger
Problematic Features of Programming Languages: A Situational-Calculus Approach. [Citation Graph (3, 0)][DBLP] Acta Inf., 1981, v:16, n:, pp:371-426 [Journal]
-
Zohar Manna, Richard J. Waldinger
How to Clear a Block: A Theory of Plans. [Citation Graph (4, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:4, pp:343-377 [Journal]
-
Zohar Manna, Richard J. Waldinger
A Deductive Approach to Program Synthesis. [Citation Graph (5, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:90-121 [Journal]
-
Xiaolei Qian
Synthesizing Database Transactions. [Citation Graph (0, 9)][DBLP] VLDB, 1990, pp:552-565 [Conf] Cites:
-
Zohar Manna, Richard J. Waldinger
The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP] AAAI, 1987, pp:155-160 [Conf]
-
Zohar Manna, Richard J. Waldinger
Problematic Features of Programming Languages: A Situational-Calculus Approach. [Citation Graph (3, 0)][DBLP] Acta Inf., 1981, v:16, n:, pp:371-426 [Journal]
-
Zohar Manna, Richard J. Waldinger
How to Clear a Block: A Theory of Plans. [Citation Graph (4, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:4, pp:343-377 [Journal]
-
Zohar Manna, Richard J. Waldinger
A Deductive Approach to Program Synthesis. [Citation Graph (5, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:90-121 [Journal]
-
Xiaolei Qian
The Deductive Synthesis of Database Transactions. [Citation Graph (1, 24)][DBLP] ACM Trans. Database Syst., 1993, v:18, n:4, pp:626-677 [Journal] Cites:
-
Zohar Manna, Richard J. Waldinger
The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP] AAAI, 1987, pp:155-160 [Conf]
-
Zohar Manna, Richard J. Waldinger
Problematic Features of Programming Languages: A Situational-Calculus Approach. [Citation Graph (3, 0)][DBLP] Acta Inf., 1981, v:16, n:, pp:371-426 [Journal]
-
Zohar Manna, Richard J. Waldinger
Special relations in automated deduction. [Citation Graph (1, 0)][DBLP] J. ACM, 1986, v:33, n:1, pp:1-59 [Journal]
-
Zohar Manna, Richard J. Waldinger
How to Clear a Block: A Theory of Plans. [Citation Graph (4, 0)][DBLP] J. Autom. Reasoning, 1987, v:3, n:4, pp:343-377 [Journal]
-
Zohar Manna, Richard J. Waldinger
A Deductive Approach to Program Synthesis. [Citation Graph (5, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:90-121 [Journal]
|