Ulf R. Schmerl

Publication Activity (10 Years)

Years Active: 1985-1995
Publications (10 Years): 0

Publications

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. Theor. Comput. Sci. 146 (1&2) (1995)
Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop (1992)
Ulf R. Schmerl
A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. CSL (1991)
Ulf R. Schmerl
Resolution on Formula-Trees. Acta Informatica 25 (4) (1988)
Ulf R. Schmerl
Diophantine equations in fragments of arithmetic. Ann. Pure Appl. Log. 38 (2) (1988)
Ulf R. Schmerl
Resolution on Formula-Trees. GWAI (1987)
Ulf R. Schmerl
Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. Logic Colloquium (1985)