pdf-format: |
|
@InProceedings{baader_et_al:DagSemProc.07401.1, author = {Baader, Franz and Cook, Byron and Giesl, J\"{u}rgen and Nieuwenhuis, Robert}, title = {{07401 Abstracts Collection – Deduction and Decision Procedures}}, booktitle = {Deduction and Decision Procedures}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7401}, editor = {Franz Baader and Byron Cook and J\"{u}rgen Giesl and Robert Nieuwenhuis}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2007/1252}, URN = {urn:nbn:de:0030-drops-12521}, doi = {10.4230/DagSemProc.07401.1}, annote = {Keywords: Decision Procedures, Deduction, Boolean Satisfiability, First-Order Logic, Integer Arithmetic, Combination of Theories, Satisfiability Modulo Theories Rewrite Systems, Formal Verification, Model Finding} }
Keywords: | Decision Procedures, Deduction, Boolean Satisfiability, First-Order Logic, Integer Arithmetic, Combination of Theories, Satisfiability Modulo Theories | |
Freie Schlagwörter (englisch): | Rewrite Systems, Formal Verification, Model Finding | |
Seminar: | 07401 - Deduction and Decision Procedures | |
Issue date: | 2007 | |
Date of publication: | 29.11.2007 |