915 search results - page 15 / 183 » Proof labeling schemes |
150
click to vote
AIIA
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
134
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
168
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
168
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
The process of mixing labelled and unlabelled data is being recently studied in semi-supervision techniques. However, this is not the only scenario in which mixture of labelled and...
147
click to vote
FROCOS
2009
Springer
15 years 12 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...