The following pages link to LIRA (Q33080):
Displaying 6 items.
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- The Complexity of Reversal-Bounded Model-Checking (Q3172883) (← links)
- TaPAS: The Talence Presburger Arithmetic Suite (Q3617759) (← links)
- A Generalization of Semenov’s Theorem to Automata over Real Numbers (Q5191120) (← links)
- Probabilistic logic over equations and domain restrictions (Q5377701) (← links)