LIRA
From MaRDI portal
Software:33080
swMATH21270MaRDI QIDQ33080FDOQ33080
Author name not available (Why is that?)
Cited In (6)
- A Generalization of Semenov’s Theorem to Automata over Real Numbers
- TaPAS: The Talence Presburger Arithmetic Suite
- Ehrenfeucht-Fraïssé goes automatic for real addition
- Don't care words with an application to the automata-based approach for real addition
- Probabilistic logic over equations and domain restrictions
- The Complexity of Reversal-Bounded Model-Checking
This page was built for software: LIRA
