A decidable fragment of predicate calculus☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Research supported by NSF Grants MCS-82-06565, MCS-79-05998 and ARPA Contract N00039-82-C-0250.
Copyright © 1984 Published by Elsevier B.V.
Research supported by NSF Grants MCS-82-06565, MCS-79-05998 and ARPA Contract N00039-82-C-0250.