3994 search results - page 40 / 799 » A Linear Logical Framework |
110
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
AMAI
2006
Springer
15 years 14 days ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
ENTCS
2006
15 years 12 days ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
AAI
2010
14 years 7 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...