Higher-Order rewriting: Framework, Confluence and termination (2005)

Cached

Download Links

by Jean-pierre Jouannaud
Venue:Processes, Terms and Cycles: Steps on the road to infinity. Essays Dedicated to Jan Willem Klop on the occasion of his 60th Birthday. LNCS 3838
Citations:2 - 1 self