dblp.uni-trier.dewww.uni-trier.de

Jonathan Traugott Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)