Software:33080: Difference between revisions
From MaRDI portal
Software:33080
Created automatically from import240305080343 |
(No difference)
|
Latest revision as of 20:34, 5 March 2024
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
