Michael Parting

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski
Proving Termination by Dependency Pairs and Inductive Theorem Proving. J. Autom. Reason. 47 (2) (2011)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Inductive Theorem Proving meets Dependency Pairs. Interaction versus Automation: The two Faces of Deduction (2009)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Termination Analysis by Dependency Pairs and Inductive Theorem Proving. CADE (2009)