Pages that link to "Item:Q782555"
From MaRDI portal
The following pages link to Approaching arithmetic theories with finite-state automata (Q782555):
Displaying 6 items.
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q4910740) (← links)
- An effective decision procedure for linear arithmetic over the integers and reals (Q5277733) (← links)
- Computer Aided Verification (Q5312910) (← links)