36 search results - page 1 / 8 » Abstract Branching for Quantified Formulas |
AAAI
2006
13 years 6 months ago
2006
DLT
2009
13 years 2 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
SAT
2005
Springer
13 years 10 months ago
2005
Springer
TABLEAUX
1998
Springer
13 years 9 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 ...
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...