Computing with First-Order Logic

Publisher Website

30 April 1995

journal article
Published by Elsevier in Journal of Computer and System Sciences

Vol. 50 (2), 309-335
https://doi.org/10.1006/jcss.1995.1025

Abstract

No abstract available

Keywords

Cited by 62 articles