J. G. Wiltink

According to our database1, J. G. Wiltink
  • authored at least 4 papers between 1986 and 1989.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1989
A Sharp Proof Rule for Procedures in wp Semantics.
Acta Inf., 1989

1987
A Deficiency of Natural Deduction.
Inf. Process. Lett., 1987

1986
Two Most Nondeterministic Programs.
Sci. Comput. Program., 1986

Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
Acta Inf., 1986


  Loading...