Ulrich Fraus

According to our database, Ulrich Fraus authored at least 5 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Mechanizing inductive theorem proving in conditional theories.

Ulrich Fraus

PhD thesis, 1995

1992

An Inductive Theorem Prover Based on Narrowing.

Ulrich Fraus, Heinrich Hußmann

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Calculus for Conditional Inductive Theorem Proving.

Ulrich Fraus

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

A Narrowing-Based Theorem Prover.

Ulrich Fraus

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Narrowing-Based Theorem Prover.

Ulrich Fraus, Heinrich Hußmann

Proceedings of the Programming Language Implementation and Logic Programming, 1991