Karin Genther

According to our database, Karin Genther authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Structuring of Computer-Generated Proofs by Cut Introduction.

Uwe Egly, Karin Genther

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997