2920 search results - page 109 / 584 » Finite information logic |
51
Voted
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
71
Voted
KES
1999
Springer
15 years 5 months ago
1999
Springer
75
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...