Login / Signup
Decision Procedures in Software, Hardware and Bioware
2010
2010
2010
Keyphrases
Publications
2010
Grant Olney Passmore
,
Leonardo Mendonça de Moura
,
Paul B. Jackson
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.
Decision Procedures in Software, Hardware and Bioware
(2010)
Nikolaj Bjørner
,
Robert Nieuwenhuis
,
Helmut Veith
,
Andrei Voronkov
10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware.
Decision Procedures in Software, Hardware and Bioware
(2010)
Jürgen Christ
,
Jochen Hoenicke
Instantiation-Based Interpolation for Quantified Formulae.
Decision Procedures in Software, Hardware and Bioware
(2010)
Nikolaj Bjørner
,
Robert Nieuwenhuis
,
Helmut Veith
,
Andrei Voronkov
10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware.
Decision Procedures in Software, Hardware and Bioware
(2010)
volume 10161, 2010
Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010
Decision Procedures in Software, Hardware and Bioware
10161 (2010)