479 search results - page 9 / 96 » The theory and calculus of aliasing |
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
FMOODS
2008
13 years 9 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
SLOGICA
2008
13 years 7 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
AAAI
2008
13 years 10 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
LICS
2002
IEEE
14 years 20 days ago
2002
IEEE