On Deciding Satisfiability by Theorem Proving with Speculative Inferences (Englisch)
- Neue Suche nach: Bonacina, Maria Paola
- Neue Suche nach: Lynch, Christopher A.
- Neue Suche nach: de Moura, Leonardo
- Neue Suche nach: Bonacina, Maria Paola
- Neue Suche nach: Lynch, Christopher A.
- Neue Suche nach: de Moura, Leonardo
In:
Journal of Automated Reasoning
;
47
, 2
; 161-189
;
2010
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:On Deciding Satisfiability by Theorem Proving with Speculative Inferences
-
Beteiligte:Bonacina, Maria Paola ( Autor:in ) / Lynch, Christopher A. ( Autor:in ) / de Moura, Leonardo ( Autor:in )
-
Erschienen in:Journal of Automated Reasoning ; 47, 2 ; 161-189
-
Verlag:
- Neue Suche nach: Springer Netherlands
- Neue Suche nach: Springer
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2010
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.71
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 535/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 47, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 107
-
Preface: Special Issue of Selected Extended Papers of CADE-22Schmidt, Renate A. / Pientka, Brigitte et al. | 2010
- 111
-
Automated Inference of Finite UnsatisfiabilityClaessen, Koen / Lillieström, Ann et al. | 2011
- 133
-
Proving Termination by Dependency Pairs and Inductive Theorem ProvingFuhs, Carsten / Giesl, Jürgen / Parting, Michael / Schneider-Kamp, Peter / Swiderski, Stephan et al. | 2011
- 161
-
On Deciding Satisfiability by Theorem Proving with Speculative InferencesBonacina, Maria Paola / Lynch, Christopher A. / Moura, Leonardo et al. | 2010
- 191
-
A Combined Superposition and Model Evolution CalculusBaumgartner, Peter / Waldmann, Uwe et al. | 2010