Decision Procedures - Texts in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540741046, 9783540741053
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Pointer Logic

2008 ◽  
pp. 181-206
Author(s):  
Daniel Kroening ◽  
Ofer Strichman
Keyword(s):  
Pointer Logic

Bit Vectors

2008 ◽  
pp. 149-170
Author(s):  
Daniel Kroening ◽  
Ofer Strichman

Quantified Formulas

2008 ◽  
pp. 207-224
Author(s):  
Daniel Kroening ◽  
Ofer Strichman

Arrays

2008 ◽  
pp. 171-179
Author(s):  
Daniel Kroening ◽  
Ofer Strichman

Linear Arithmetic

2008 ◽  
pp. 111-147
Author(s):  
Daniel Kroening ◽  
Ofer Strichman
Keyword(s):  
Linear Arithmetic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document