Regular ArticleInduction=I-Axiomatization+First-Order Consistency☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Both authors were supported by the EU ESPRIT Working Group 22457 CCL-II, and the second author by the Spanish CICYT Project HEMOSS Ref. TIC98-0949-C02-01. This work was presented by the first author as an invited talk at RTA'98.
- f1
E-mail: [email protected]
- f2
E-mail: [email protected]
Copyright © 2000 Academic Press. All rights reserved.