20032021
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

Filter
Conference article
2004

Improved modular termination proofs using dependency pairs

Thiemann, R., Giesl, J. & Schneider-Kamp, P., 9. Dec 2004, In : Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3097, p. 75-90 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Experiments