Regular ArticleOn Terminating Lemma Speculations☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This work was supported under Grants Wa652/4-1,2,3 by the Deutsche Forschungsgemeinschaft as part of the focus program “Deduktion.” A preliminary version of this work was presented at CADE-13 [KW96c].
- f1
E-mail: [email protected]
Copyright © 2000 Academic Press. All rights reserved.