Found 6 Documents (Results 1–6)
Banishing ultrafilters from our consciousness. (English) Zbl 1439.03034
Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 255-283 (2016).
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. (English) Zbl 1326.03074
Exploring the foundations of discrete analytical geometry in Isabelle/HOL. (English) Zbl 1350.68232
Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 34-50 (2011).
Generating counterexamples for structural inductions by exploiting nonstandard models. (English) Zbl 1306.68139
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 127-141 (2010).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (3)
all
top 5
Author
- Chollet, Agathe (2)
- Fuchs, Laurent (2)
- Andres, Eric (1)
- Blanchette, Jasmin Christian (1)
- Cantone, Domenico (1)
- Claessen, Koen (1)
- Fleuriot, Jacques D. (1)
- Largeteau-Skapin, Gaëlle (1)
- Magaud, Nicolas (1)
- Omodeo, Eugenio Giovanni (1)
- Policriti, Alberto (1)
- Ströbel, Michael (1)
- Wallet, Guy (1)
