846 search results - page 121 / 170 » Rewrite-Based Decision Procedures |
171
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
166
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
166
click to vote
DGO
2007
15 years 7 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
163
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
Agents in a competitive interaction can greatly benefit from adapting to a particular adversary, rather than using the same general strategy against all opponents. One method of s...
174
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...