Sciweavers

CSL
2004
Springer
14 years 4 months ago
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
Pietro Di Gianantonio
CSL
2004
Springer
14 years 4 months ago
Proving Abstract Non-interference
Roberto Giacobazzi, Isabella Mastroeni
CSL
2004
Springer
14 years 4 months ago
Parameterized Model Checking of Ring-Based Message Passing Systems
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems,  ¢¡ , comprised of finite, but arbitrarily many,...
E. Allen Emerson, Vineet Kahlon
CSL
2004
Springer
14 years 4 months ago
Automated Generation of Analytic Calculi for Logics with Linearity
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
Agata Ciabattoni
CSL
2004
Springer
14 years 4 months ago
Notions of Average-Case Complexity for Random 3-SAT
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...
Albert Atserias
CSL
2004
Springer
14 years 4 months ago
Game-Based Notions of Locality Over Finite Models
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
CSL
2004
Springer
14 years 4 months ago
Fixed Points of Type Constructors and Primitive Recursion
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
Andreas Abel, Ralph Matthes