2529 search results - page 40 / 506 » The Logical Structure of Binding |
ENTCS
2010
14 years 7 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
ROOM
2000
14 years 11 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
WILF
2007
Springer
15 years 3 months ago
2007
Springer
CADE
2001
Springer
15 years 10 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...