Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
Thomas Ball; Jürgen Giesl; Reiner Hähnle; Tobias Nipkow (Hrsg). Interaction versus Automation: The two Faces of Deduction - Dagstuhl Seminar 09411: 04.10. - 09.10.2009; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2009 S. 1 - 33
Erscheinungsjahr: 2009
ISBN/ISSN: 1862-4405
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.4230/DagSemProc.09411.3
| Geprüft | Bibliothek |
