Maximal Termination

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70590-1_8 ◽

2008 ◽

pp. 110-125 ◽

Cited By ~ 17

Author(s):

Carsten Fuhs ◽

Jürgen Giesl ◽

Aart Middeldorp ◽

Peter Schneider-Kamp ◽

René Thiemann ◽

...

Download Full-text