Ulrich Fraus

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Ulrich Fraus
A Calculus for Conditional Inductive Theorem Proving. CTRS (1992)
Ulrich Fraus, Heinrich Hußmann
An Inductive Theorem Prover Based on Narrowing. LPAR (1992)
Ulrich Fraus
A Narrowing-Based Theorem Prover. RTA (1991)
Ulrich Fraus, Heinrich Hußmann
A Narrowing-Based Theorem Prover. PLILP (1991)