J. G. Wiltink

According to our database, J. G. Wiltink authored at least 4 papers between 1986 and 1989.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1989

A Sharp Proof Rule for Procedures in wp Semantics.

A. Bijlsma, P. A. Matthews, J. G. Wiltink

Acta Informatica, 1989

1987

A Deficiency of Natural Deduction.

J. G. Wiltink

Inf. Process. Lett., 1987

1986

Two Most Nondeterministic Programs.

J. G. Wiltink

Sci. Comput. Program., 1986

Equivalence of the Gries and Martin Proof Rules for Procedure Calls.

A. Bijlsma, J. G. Wiltink, P. A. Matthews

Acta Informatica, 1986