DMCA

Freezing - Termination Proofs for Classical, Context-Sensitive and Innermost Rewriting

Cached

Download Links

by Joachim Steinbach , Hongwei Xi
Citations:4 - 0 self