Ulf R. Schmerl

According to our database1, Ulf R. Schmerl
  • authored at least 7 papers between 1985 and 1995.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

1995
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.
Theor. Comput. Sci., 1995

1992
Proving Total Correctness of Programs in Weak Second-Order Logic.
Proceedings of the Sematics: Foundations and Applications, 1992

1991
A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1988
Diophantine equations in fragments of arithmetic.
Ann. Pure Appl. Logic, 1988

Resolution on Formula-Trees.
Acta Inf., 1988

1987
Resolution on Formula-Trees.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, September 28, 1987

1985
Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique.
Proceedings of the Logic Colloquium '85, Orsay, France, 1985


  Loading...