equal
deleted
inserted
replaced
157 publisher = {Elsevier}, |
157 publisher = {Elsevier}, |
158 year = 2001, |
158 year = 2001, |
159 editor = {A. Robinson and A. Voronkov} |
159 editor = {A. Robinson and A. Voronkov} |
160 } |
160 } |
161 |
161 |
|
162 @inproceedings{cvc3, |
|
163 author = {Clark Barrett and Cesare Tinelli}, |
|
164 title = {{CVC3}}, |
|
165 booktitle = {CAV}, |
|
166 editor = {Werner Damm and Holger Hermanns}, |
|
167 volume = {4590}, |
|
168 series = LNCS, |
|
169 pages = {298--302}, |
|
170 publisher = {Springer}, |
|
171 year = {2007} |
|
172 } |
|
173 |
162 @incollection{basin91, |
174 @incollection{basin91, |
163 author = {David Basin and Matt Kaufmann}, |
175 author = {David Basin and Matt Kaufmann}, |
164 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
176 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
165 Comparison}, |
177 Comparison}, |
166 crossref = {huet-plotkin91}, |
178 crossref = {huet-plotkin91}, |
389 @book{dummett, |
401 @book{dummett, |
390 author = {Michael Dummett}, |
402 author = {Michael Dummett}, |
391 title = {Elements of Intuitionism}, |
403 title = {Elements of Intuitionism}, |
392 year = 1977, |
404 year = 1977, |
393 publisher = {Oxford University Press}} |
405 publisher = {Oxford University Press}} |
|
406 |
|
407 @misc{yices, |
|
408 author = {Bruno Dutertre and Leonardo de Moura}, |
|
409 title = {The {Yices} {SMT} Solver}, |
|
410 publisher = "\url{http://yices.csl.sri.com/tool-paper.pdf}", |
|
411 year = 2006} |
394 |
412 |
395 @incollection{dybjer91, |
413 @incollection{dybjer91, |
396 author = {Peter Dybjer}, |
414 author = {Peter Dybjer}, |
397 title = {Inductive Sets and Families in {Martin-L{\"o}f's} Type |
415 title = {Inductive Sets and Families in {Martin-L{\"o}f's} Type |
398 Theory and Their Set-Theoretic Semantics}, |
416 Theory and Their Set-Theoretic Semantics}, |