3994 search results - page 70 / 799 » A Linear Logical Framework |
110
click to vote
IJAR
2008
15 years 15 days ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
78
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
103
Voted
ACTA
2004
15 years 11 days ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
94
Voted
FUIN
2010
14 years 9 months ago
2010
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different ...
116
click to vote
ICFP
2003
ACM
16 years 13 days ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...