Ulf R. Schmerl

Affiliations:

Bundeswehr University Munich, Computer Science Department

According to our database¹, Ulf R. Schmerl authored at least 6 papers between 1985 and 1995.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1995

Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.

[BibT_eX]

[DOI]

Rudolf Berghammer

Birgit Elbl

Ulf R. Schmerl

Theor. Comput. Sci., 1995

1992

Proving Total Correctness of Programs in Weak Second-Order Logic.

[BibT_eX]

[DOI]

Rudolf Berghammer

Birgit Elbl

Ulf R. Schmerl

Proceedings of the Sematics: Foundations and Applications, 1992

1991

A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs.

[BibT_eX]

[DOI]

Ulf R. Schmerl

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1988

Diophantine equations in fragments of arithmetic.

[BibT_eX]

[DOI]

Ulf R. Schmerl

Ann. Pure Appl. Log., 1988

1987

Resolution on Formula-Trees.

[BibT_eX]

[DOI]

Ulf R. Schmerl

Proceedings of the GWAI-87, 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.

[BibT_eX]

Ulf R. Schmerl

Proceedings of the Logic Colloquium '85, Orsay, France, 1985

Ulf R. Schmerl

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...