Ulf R. Schmerl
According to our database^{1}, Ulf R. Schmerl
authored at least 7 papers
between 1985 and 1995.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at www.unibw.de
On csauthors.net:
Bibliography
1995
Formalizing Dijkstra's Predicate Transformer wp in Weak SecondOrder Logic.
Theor. Comput. Sci., 1995
1992
Proving Total Correctness of Programs in Weak SecondOrder Logic.
Proceedings of the Sematics: Foundations and Applications, 1992
1991
A CutElimination 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 FormulaTrees.
Acta Inf., 1988
1987
Resolution on FormulaTrees.
Proceedings of the GWAI87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, 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