pdf-format: |
|
@InProceedings{baader_et_al:DSP:2007:1252, author = {Franz Baader and Byron Cook and J{\"u}rgen Giesl and Robert Nieuwenhuis}, title = {07401 Abstracts Collection -- Deduction and Decision Procedures}, booktitle = {Deduction and Decision Procedures}, year = {2007}, editor = {Franz Baader and Byron Cook and J{\"u}rgen Giesl and Robert Nieuwenhuis}, number = {07401}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2007/1252}, annote = {Keywords: Decision Procedures, Deduction, Boolean Satisfiability, First-Order Logic, Integer Arithmetic, Combination of Theories, Satisfiability Modulo Theories} }
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 |