Academic Journal
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á, MaximilianoAff1, IDs10817024097136_cor1, Rossi, GianfrancoAff2 |
| Πηγή: | Journal of Automated Reasoning. 68(4) |
| Βάση Δεδομένων: | Springer Nature Journals |
| ISSN: | 01687433 15730670 |
|---|---|
| DOI: | 10.1007/s10817-024-09713-6 |