Pages that link to "Item:Q2364369"
From MaRDI portal
The following pages link to Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic'' (Q2364369):
Displaying 4 items.
- Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases (Q1970207) (← links)
- Erratum to: ``The complexity of satisfiability for fragments of CTL and \(\mathrm{CTL}^\star\)'' (Q2800418) (← links)
- Latin Squares with Restricted Transversals (Q3167100) (← links)
- Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008) (Q3653149) (← links)