507 search results - page 14 / 102 » Automating first-order relational logic |
DLOG
1997
13 years 8 months ago
1997
CSL
1998
Springer
13 years 6 months ago
1998
Springer
ESSLLI
2009
Springer
13 years 4 months ago
2009
Springer
106
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...