Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P.-A. Mellies
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
Recursive Polymorphic Types and Parametricity in an Operational Framework
Related publications
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
