LIRA
From MaRDI portal
Software:33080
No author found.
Related Items (6)
The Complexity of Reversal-Bounded Model-Checking ⋮ Probabilistic logic over equations and domain restrictions ⋮ Ehrenfeucht-Fraïssé goes automatic for real addition ⋮ A Generalization of Semenov’s Theorem to Automata over Real Numbers ⋮ TaPAS: The Talence Presburger Arithmetic Suite ⋮ Don't care words with an application to the automata-based approach for real addition
This page was built for software: LIRA
