507 search results - page 14 / 102 » Automating first-order relational logic |
DLOG
1997
15 years 1 months ago
1997
CSL
1998
Springer
14 years 11 months ago
1998
Springer
ESSLLI
2009
Springer
14 years 9 months ago
2009
Springer
269
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
15 years 4 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...