3994 search results - page 388 / 799 » A Linear Logical Framework |
150
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
172
click to vote
ISMIS
2005
Springer
16 years 10 days ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
184
click to vote
TABLEAUX
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
179
Voted
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
162
click to vote
APN
2004
Springer
16 years 7 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...