Found 4 Documents (Results 1–4)
Integration of game theoretic and tree theoretic approaches to Conway numbers. (English) Zbl 1540.68294
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 (1)
Author
- Pąk, Karol (3)
- Blanchette, Jasmin Christian (1)
- Claessen, Koen (1)