Amanote Research
Register
Sign In
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
doi 10.1109/lics.2005.6
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
P.-A. Mellies
Publisher
IEEE
Related search
Linear Temporal Logic and Propositional Schemata, Back and Forth
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Model Checking Propositional Dynamic Logic With All Extras
Journal of Applied Logic
Applied Mathematics
Logic
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Philosophical Conception of Propositional Modal Logic
Philosophical Topics
Philosophy
A Fully Asynchronous Superscalar Architecture
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
