Found 5 Documents (Results 1–5)
Witness runs for counter machines. (English) Zbl 1397.68122
Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 120-150 (2013).
Definability of accelerated relations in a theory of arrays and its applications. (English) Zbl 1397.68121
Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 23-39 (2013).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (2)
all
top 5
Author
- Alberti, Francesco (1)
- Barrett, Clark W. (1)
- Cimatti, Alessandro (1)
- de Moura, Leonardo (1)
- Demri, Stéphane P. (1)
- Deters, Morgan (1)
- Ghilardi, Silvio (1)
- Hadarean, Liana (1)
- Hamadi, Youssef (1)
- Mover, Sergio (1)
- Oe, Duckki (1)
- Reynolds, Andrew (1)
- Sharygina, Natasha (1)
- Stump, Aaron (1)
- Tinelli, Cesare (1)
- Tonetta, Stefano (1)
- Wintersteiger, Christoph M. (1)