Ulrich Fraus

	1992
4		Ulrich Fraus: A Calculus for Conditional Inductive Theorem Proving. CTRS 1992: 357-362
3		Ulrich Fraus, Heinrich Hußmann: An Inductive Theorem Prover Based on Narrowing. LPAR 1992: 475-477
	1991
2		Ulrich Fraus, Heinrich Hußmann: A Narrowing-Based Theorem Prover. PLILP 1991: 421-422
1		Ulrich Fraus: A Narrowing-Based Theorem Prover. RTA 1991: 435-436

Coauthor Index

1

Heinrich Hußmann (Heinrich Hussmann)

[2] [3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page