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

J. G. Wiltink

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989
4 A. Bijlsma, P. A. Matthews, J. G. Wiltink: A Sharp Proof Rule for Procedures in wp Semantics. Acta Inf. 26(5): 409-419 (1989)
1987
3 J. G. Wiltink: A Deficiency of Natural Deduction. Inf. Process. Lett. 25(4): 233-234 (1987)
1986
2 A. Bijlsma, J. G. Wiltink, P. A. Matthews: Equivalence of the Gries and Martin Proof Rules for Procedure Calls. Acta Inf. 23(4): 357-360 (1986)
1 J. G. Wiltink: Two Most Nondeterministic Programs. Sci. Comput. Program. 6(1): 89-94 (1986)

Coauthor Index

1A. Bijlsma [2] [4]
2P. A. Matthews [2] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)