The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete
Year: 2001
Type: article
Source: Annals of Pure and Applied Logic
Author: Anatoly P. Beltiukov
Institution: Udmurt State University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2045305767