884 search results - page 18 / 177 » The Linear Logic of Multisets |
182
Voted
WRLA
2010
15 years 6 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
103
Voted
FCT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
103
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
96
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
172
Voted
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...