Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche PARSIFAL
Publications de l'équipe PARSIFAL
2012
Communications avec actes
- Titre
- A non-local method for robustness analysis of floating point programs
- Auteurs
- Ivan Gazeau
; Dale Miller ; Catuscia Palamidessi - Détail
- Mieke Massink and Herbert Wiklicky. QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Mar 2012, Tallinn, Estonia.
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Modelling Martin Löf Type Theory in Categories
- Auteurs
- François Lamarche
- Détail
- [Research Report], 2012
- Accès au texte intégral et bibtex
-
- Titre
- Two simulations about DPLL(T)
- Auteurs
- Mahfuza Farooque; Stéphane Lengrand ; Assia Mahboubi
- Détail
- [Report], 2012
- Accès au bibtex
-
Documents sans référence de publication
- Titre
- Simulating the DPLL(T ) procedure in a sequent calculus with focusing
- Auteurs
- Mahfuza Farooque; Stéphane Lengrand ; Assia Mahboubi
- Détail
- Apr. 2012
- Accès au texte intégral et bibtex
-
2011
Articles dans des revues avec comité de lecture
- Titre
- A System of Interaction and Structure IV: The Exponentials and Decomposition
- Auteurs
- Lutz Straßburger; Alessio Guglielmi
- Détail
- ACM Trans. Comput. Log., ACM, 2011, 12 (4), pp. 23
- Accès au bibtex
-
Rapports
- Titre
- A sequent calculus with procedure calls
- Auteurs
- Mahfuza Farooque; Stéphane Lengrand
- Détail
- [Report], 2011
- Accès au texte intégral et bibtex
-
Documents sans référence de publication
- Titre
- Orthogonality and Boolean Algebras for Deduction Modulo
- Auteurs
- Alois Brunel; Olivier Hermant; Clement Houtmann
- Détail
- Feb. 2011
- Accès au texte intégral et bibtex
-
2010
Articles dans des revues avec comité de lecture
- Titre
- Proof and Refutation in MALL as a game
- Auteurs
- Olivier Delande; Dale Miller; Alexis Saurin
- Détail
- Annals of Pure and Applied Logic, 2010, 161 (5), pp. 654-672
- Accès au bibtex
-
Communications avec actes
- Titre
- The TLA+ Proof System: Building a Heterogeneous Verification Platform
- Auteurs
- Kaustuv Chaudhuri; Damien Doligez; Leslie Lamport; Stephan Merz
- Détail
- Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock. International Conference on Theoretical Aspects of Computing - ICTAC 2010, Sep 2010, Natal, Brazil. Springer, Theoretical Aspects of Computing - ICTAC 2010, 6255, pp. 44, Lecture Notes in Computer Science
- Accès au bibtex
-
- Titre
- Verifying Safety Properties With the TLA+ Proof System
- Auteurs
- Kaustuv Chaudhuri; Damien Doligez; Leslie Lamport; Stephan Merz
- Détail
- Jürgen Giesl and Reiner Haehnle. Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. Springer, Automated Reasoning 5th International Joint Conference, IJCAR 2010 Edinburgh, UK, July 16-19, 2010 Proceedings, 6173, pp. 142-148, Lecture Notes in Artificial Intelligence
- Accès au texte intégral et bibtex
-
- Titre
- Classical and Intuitionistic Subexponential Logics are Equally Expressive
- Auteurs
- Kaustuv Chaudhuri
- Détail
- Anuj Dawar and Helmut Veith. Computer Science Logic, Aug 2010, Brno, Czech Republic. Springer, LNCS, 6247, pp. 185-199
- Accès au texte intégral et bibtex
-
- Titre
- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment
- Auteurs
- Kaustuv Chaudhuri
- Détail
- Christian Fermueller and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Oct 2010, Yogyakarta, Indonesia. Springer, LNCS, 6397, pp. 202-216
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
- Auteurs
- Kaustuv Chaudhuri; Joelle Despeyroux
- Détail
- [Research Report], 2010, pp. 30
- Accès au texte intégral et bibtex
-
2009
Communications avec actes
- Titre
- Modular Sequent Systems for Modal Logic
- Auteurs
- Kai Brünnler; Lutz Straßburger
- Détail
- Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'09, 2009, Oslo, Norway.
- Accès au bibtex
-
- Titre
- A Kleene Theorem for Forest Languages
- Auteurs
- Lutz Straßburger
- Détail
- Language and Automata Theory and Applications, LATA'09, 2009, Tarragona, Spain.
- Accès au bibtex
-
- Titre
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
- Auteurs
- Lutz Straßburger
- Détail
- Typed Lambda Calculi and Applications, TLCA'09, 2009, Brasilia, Brazil.
- Accès au bibtex
-
- Titre
- Expanding the Realm of Systematic Proof Theory
- Auteurs
- Agata Ciabattoni; Lutz Straßburger; Kazushige Terui
- Détail
- Computer Science Logic, CSL'09, 2009, Coimbra, Portugal.
- Accès au texte intégral et bibtex
-
Documents sans référence de publication
- Titre
- A System of Interaction and Structure V: The Exponentials and Splitting
- Auteurs
- Alessio Guglielmi; Lutz Straßburger
- Détail
- 2009
- Accès au texte intégral et bibtex
-
2008
Communications avec actes
- Titre
- Canonical Sequent Proofs via Multi-Focusing
- Auteurs
- Alexis Saurin; Kaustuv Chaudhuri; Dale Miller
- Détail
- Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, Sep 2008, Milano, Italy. pp. 383-396
- Accès au bibtex
-
- Titre
- Towards Ludics Programming: Interactive Proof Search
- Auteurs
- Alexis Saurin
- Détail
- 24th International Conference on Logic Programming - ICLP 2008, Dec 2008, Udine, Italy. Springer, pp. 253-268, Lecture notes in computer science
- Accès au bibtex
-
- Titre
- On the Relations between the Syntactic Theories of $\lambda\mu$-Calculi
- Auteurs
- Alexis Saurin
- Détail
- 17th EACSL Annual Conference on Computer Science Logic - CSL 2008, Sep 2008, Bertinoro, Italy. Springer, 5213, pp. 154-168, Lecture notes in computer science
- Accès au bibtex
-
Rapports
- Titre
- Stream Associative Nets and Lambda-mu-calculus
- Auteurs
- Michele Pagani; Alexis Saurin
- Détail
- [Research Report], 2008, pp. 48. RR-6431
- Accès au texte intégral et bibtex
-
2007
Communications avec actes
- Titre
- Focusing and Polarization in Intuitionistic Logic
- Auteurs
- Chuck Liang; Dale Miller
- Détail
- Computer Science Logic, Sep 2007, Lausanne, Switzerland.
- Accès au texte intégral et bibtex
-
- Titre
- A Characterisation of Medial as Rewriting Rule
- Auteurs
- Lutz Straßburger
- Détail
- RTA 2007, Jun 2007, Paris, France.
- Accès au texte intégral et bibtex
-
- Titre
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
- Auteurs
- Alexis Saurin; Dale Miller
- Détail
- 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. Springer, pp. 405-419, Lecture notes in computer science
- Accès au bibtex
-
Communications sans actes
- Titre
- Deep Inference for Hybrid Logic
- Auteurs
- Lutz Straßburger
- Détail
- International Workshop on Hybrid Logic 2007 (HyLo 2007), Aug 2007, Dublin, Ireland.
- Accès au texte intégral et bibtex
-
2006
Communications avec actes
- Titre
- Collection analysis for Horn clause programs
- Auteurs
- Dale Miller
- Détail
- International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Jul 2006, Venice, Italy.
- Accès au texte intégral et bibtex
-
- Titre
- A game semantics for proof search, preliminary results
- Auteurs
- Alexis Saurin; Dale Miller
- Détail
- Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. 155, pp. 543-563, 2006
- Accès au bibtex
-
- Titre
- What could a Boolean category be?
- Auteurs
- Lutz Straßburger
- Détail
- Classical Logic and Computation 2006 (ICALP Workshop), Jul 2006, Venice, Italy.
- Accès au texte intégral et bibtex
-
- Titre
- A Congruence Format for Name-passing Calculi
- Auteurs
- Axelle Ziegler; Dale Miller; Catuscia Palamidessi
- Détail
- Peter Mosses and Irek Ulidowski. 2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. Elsevier, Proceedings of the 2nd Workshop on Structural Operational Semantics, 156 (1), pp. 169-189, 2006, Electronic Notes in Theoretical Computer Science
- Accès au texte intégral et bibtex
-
Autres publications
- Titre
- On the Axiomatisation of Boolean Categories with and without Medial
- Auteurs
- Lutz Straßburger
- Détail
- 2006
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Proof Nets and the Identity of Proofs
- Auteurs
- Lutz Straßburger
- Détail
- [Research Report], 2006. RR-6013
- Accès au texte intégral et bibtex
-
2005
Communications avec actes
- Titre
- Constructing free Boolean categories
- Auteurs
- François Lamarche; Lutz Straßburger
- Détail
- 20th Annual IEEE Symposium on Logic in Computer Science - LICS 2005, May 2005, Chicago/USA, United States. pp. 209- 218
- Accès au texte intégral et bibtex
-
- Titre
- Separation with streams in the $\Lambda\mu$-calculus
- Auteurs
- Alexis Saurin
- Détail
- 20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. IEEE, pp. 356-365
- Accès au bibtex
-
- Titre
- From Deep Inference to Proof Nets
- Auteurs
- Lutz Straßburger
- Détail
- Structures and Deduction 2005 (ICALP Workshop), Jul 2005, Lisbon, Portugal.
- Accès au texte intégral et bibtex
-
Chapitres d'ouvrages scientifiques
- Titre
- What is a logic, and what is a proof ?
- Auteurs
- Lutz Straßburger
- Détail
- Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp. 135-145, 2005, 978-3-7643-7259-0
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
