Crossmark

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

Published Online: 2024-10-24

Published Print: 2024-12

Authors

Cristiá, Maximiliano

Rossi, Gianfranco
License Information

Text and Data Mining valid from 2024-10-24

Version of Record valid from 2024-10-24
More Information

Article History

Received: 6 August 2022

Accepted: 28 September 2024

First Online: 24 October 2024

Declarations

:

: The authors declare no competing interests.

Document is current