Skip to main content

Publisher: Elsevier

Volume 58, Number 2, January 2004

Induction for termination with local strategies
pp. 1-34(34)
Authors: Fissore, O.; Gnaedig, I.; Kirchner, H.

Favourites:
ADD

A Pragmatic Approach to Reuse in Tactical Theorem Proving
pp. 1-14(14)
Authors: Schairer, A.; Autexier, S.; Hutter, D.

Favourites:
ADD

A Logic for Rewriting Strategies
pp. 1-17(17)
Author: Kieburtz, R.B.

Favourites:
ADD

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more