Michael Parting

According to our database, Michael Parting authored at least 3 papers between 2009 and 2011.

Collaborative distances:

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

2011

Proving Termination by Dependency Pairs and Inductive Theorem Proving.

Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski

J. Autom. Reason., 2011

2009

Inductive Theorem Proving meets Dependency Pairs.

Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp

Proceedings of the Interaction versus Automation: The two Faces of Deduction, 04.10., 2009

Termination Analysis by Dependency Pairs and Inductive Theorem Proving.

Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp

Proceedings of the Automated Deduction, 2009