Jonathan Traugott

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989

3 Jonathan Traugott: Deductive Synthesis of Sorting Programs. J. Symb. Comput. 7(6): 533-572 (1989)

1986

2 Jonathan Traugott: Nested Resolution. CADE 1986: 394-402

1 Jonathan Traugott: Deductive Synthesis of Sorting Programs. CADE 1986: 641-660

1989
3		Jonathan Traugott: Deductive Synthesis of Sorting Programs. J. Symb. Comput. 7(6): 533-572 (1989)
1986
2		Jonathan Traugott: Nested Resolution. CADE 1986: 394-402
1		Jonathan Traugott: Deductive Synthesis of Sorting Programs. CADE 1986: 641-660