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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Συγγραφείς:	Cristiá, Maximiliano^{Aff1, IDs10817024097136_cor1}, Rossi, Gianfranco^Aff2
Πηγή:	Journal of Automated Reasoning. 68(4)
Βάση Δεδομένων:	Springer Nature Journals

Περιγραφή
ISSN:	01687433 15730670
DOI:	10.1007/s10817-024-09713-6