The results list cannot be displayed in full to guest users. Please log in for full access: Login

Result: A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Title:

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Authors:

Cristiá, Maximiliano^{Aff1, IDs10817024097136_cor1}, Rossi, Gianfranco^Aff2

Source:

Journal of Automated Reasoning. 68(4)

Database:

Springer Nature Journals

Links