Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates

From MaRDI portal
Publication:2031420

DOI10.1007/s10817-020-09567-8OpenAlexW3042291487MaRDI QIDQ2031420

Marco Voigt

Publication date: 9 June 2021

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-020-09567-8




Related Items (1)


Uses Software


Cites Work


This page was built for publication: Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates