Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Franz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Hrsg). Deduction and Decision Procedures - Dagstuhl Seminar 07401: 30.09. - 05.10.2007; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2007 S. 1 - 22
Erscheinungsjahr: 2007
ISBN/ISSN: 1862-4405
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.4230/DagSemProc.07401.6
| Geprüft: | Bibliothek |
