@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2010.bib -c 'lixequipe : "Parsifal"' -c year=2010 master.bib}}
@inproceedings{baelde10ijcar, author = {David Baelde and Dale Miller and Zachary Snow}, title = {Focused Inductive Theorem Proving}, booktitle = {Fifth International Joint Conference on Automated Reasoning}, year = {2010}, pages = {278--292}, editor = {J. Giesl and R. H{\"a}hnle}, series = {LNCS}, number = {6173}, url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ijcar10.pdf}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {US}, doi = {10.1007/978-3-642-14203-1\_24} }
@inproceedings{bruscoli10lpar, author = {Paola Bruscoli and Alessio Guglielmi and Tom Gundersen and Michel Parigot}, title = {A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae}, booktitle = {Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2009)}, year = {2010}, editor = {Edmund Clarke and Andrei Voronkov}, volume = {6355}, series = {LNAI}, address = {Dakar, Senegal}, month = apr, publisher = {Springer}, url = {http://cs.bath.ac.uk/ag/p/QPNDI.pdf}, x-proceedings = {yes}, x-international-audience = {yes}, lixequipe = {Parsifal}, lixcategorie = {CIA} }
@inproceedings{chaudhuri10csl, author = {Kaustuv Chaudhuri}, title = {Classical and Intuitionistic Subexponential Logics are Equally Expressive}, booktitle = {CSL 2010: Computer Science Logic}, year = {2010}, month = aug, pages = {185--199}, editor = {Anuj Dawar and Helmut Veith}, volume = {6247}, series = {LNCS}, address = {Brno, Czech Republic}, publisher = {Springer}, url = {http://hal.archives-ouvertes.fr/inria-00534865/en/}, doi = {10.1007/978-3-642-15205-4\_17}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-pays = {AT}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, lixcategorie = {CIA}, lixequipe = {Parsifal} }
@inproceedings{chaudhuri10ictac, author = {Kaustuv Chaudhuri and Damien Doligez and Stephan Merz and Leslie Lamport}, title = {The {TLA+} Proof System: Building a Heterogeneous Verification Platform}, booktitle = {Proceedings of the 7th International Colloquium on Theoretical Aspects of Computing (ICTAC)}, editor = {Ana Cavalcanti and David D{\'e}harbe and Marie-Claude Gaudel and Jim Woodcock}, month = sep, year = {2010}, pages = {44}, address = {Natal, Rio Grande do Norte, Brazil}, volume = {6256}, series = {LNCS}, publisher = {Springer}, url = {http://hal.archives-ouvertes.fr/inria-00521886/en/}, doi = {10.1007/978-3-642-14808-8\_3}, x-equipes = {parsifal}, x-type = {abstract}, x-support = {actes}, x-pays = {BR}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, lixcategorie = {CIA}, lixequipe = {Parsifal} }
@inproceedings{chaudhuri10ijcar, author = {Kaustuv Chaudhuri and Damien Doligez and Leslie Lamport and Stephan Merz}, title = {Verifying Safety Properties With the {TLA}$^+$ Proof System}, year = {2010}, month = jul, booktitle = {Fifth International Joint Conference on Automated Reasoning}, pages = {142--148}, editor = {J{\"u}rgen Giesl and Reiner H{\"a}hnle}, volume = {6173}, series = {LNAI}, address = {Edinburgh, UK}, publisher = {Springer}, url = {http://hal.inria.fr/inria-00534821/en/}, doi = {10.1007/978-3-642-14203-1\_12}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-pays = {UK}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, lixcategorie = {CIA}, lixequipe = {Parsifal} }
@inproceedings{chaudhuri10lpar, author = {Kaustuv Chaudhuri}, title = {Magically Constraining the Inverse Method Using Dynamic Polarity Assignment}, month = oct, year = {2010}, booktitle = {Proc. 17th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)}, pages = {202--216}, editor = {Christian Ferm{\"u}ller and Andrei Voronkov}, volume = {6397}, series = {LNCS}, address = {Yogyakarta, Indonesia}, publisher = {Springer}, url = {http://hal.archives-ouvertes.fr/inria-00535948/en/}, doi = {10.1007/978-3-642-16242-8\_15}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-pays = {ID}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, lixcategorie = {CIA}, lixequipe = {Parsifal} }
@article{delande10apal, author = {Olivier Delande and Dale Miller and Alexis Saurin}, title = {Proof and refutation in {MALL} as a game}, journal = {Annals of Pure and Applied Logic}, month = feb, year = {2010}, pages = {654--672}, volume = {161}, number = {5}, doi = {10.1016/j.apal.2009.07.017}, pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/apal-games.pdf}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {revue}, lixcategorie = {RI}, lixequipe = {Parsifal} }
@inproceedings{gacek10ppdp, author = {Andrew Gacek}, title = {Relating Nominal and Higher-order Abstract Syntax Specifications}, booktitle = {Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming}, editors = {Temur Kutsia and Wolfgang Schreiner and Maribel Fern\'andez}, year = {2010}, publisher = {ACM}, month = jul, pages = {177--186}, pdf = {http://arxiv.org/pdf/1003.5447.pdf}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {PPDP}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, x-invited-conference = {no}, x-scientific-popularization = {no} }
@inproceedings{guenot10iclp, author = {Nicolas Guenot}, title = {Focused Proof Search for Linear Logic in the Calculus of Structures}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)}, year = {2010}, month = jul, address = {Edinburgh, United Kingdom}, editor = {Manuel V. Hermenegildo and Torsten Schaub}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {7}, pages = {84--93}, doi = {10.4230/LIPIcs.ICLP.2010.84}, url = {http://www.lix.polytechnique.fr/~nguenot/pub/iclp10.pdf}, x-proceedings = {yes}, x-international-audience = {yes}, x-equipes = {parsifal}, lixequipe = {Parsifal}, lixcategorie = {CIA} }
@inproceedings{guglielmi10lics, author = {Alessio Guglielmi and Tom Gundersen and Lutz Stra{\ss}burger}, title = {Breaking Paths in Atomic Flows for Classical Logic}, booktitle = {25th Symp.\ on Logic in Computer Science}, year = {2010}, editor = {Jean-Pierre Jouannaud}, month = jul, address = {Edinburgh, United Kingdom}, pages = {284--293}, doi = {10.1109/LICS.2010.12}, url = {http://www.lix.polytechnique.fr/~lutz/papers/AFII.pdf}, x-pays = {GB}, x-proceedings = {yes}, x-international-audience = {yes}, x-equipes = {parsifal}, lixequipe = {Parsifal}, lixcategorie = {CIA} }
@inproceedings{guglielmi10rta, author = {Alessio Guglielmi and Tom Gundersen and Michel Parigot}, title = {A Proof Calculus Which Reduces Syntactic Bureaucracy}, booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications ({RTA} 2010)}, month = jul, year = {2010}, address = {Edinburgh, United Kingdom}, editor = {Christopher Lynch}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {6}, pages = {135--150}, doi = {10.4230/LIPIcs.RTA.2010.135}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2649}, x-pays = {GB}, x-proceedings = {yes}, x-international-audience = {yes}, x-equipes = {parsifal}, lixequipe = {Parsifal}, lixcategorie = {CIA} }
@inproceedings{miller10aplas, author = {Dale Miller}, title = {Reasoning about Computations Using Two-Levels of Logic}, year = {2010}, booktitle = {{P}roceedings of the 8th {A}sian {S}ymposium on {P}rogramming {L}anguages and {S}ystems ({APLAS}'10)}, editor = {K. Ueda}, number = {6461}, series = {LNCS}, pages = {34--46}, url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/aplas10.pdf}, lixcategorie = {Cinv}, lixequipe = {Parsifal Slimmer}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {APLAS}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, x-invited-conference = {yes}, x-scientific-popularization = {no} }
@inproceedings{miller10bcs, author = {Dale Miller}, title = {Finding unity in computational logic}, year = {2010}, booktitle = {Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference}, series = {ACM-BCS '10}, month = apr, pages = {3:1--3:13}, publisher = {British Computer Society}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-pays = {UK}, x-editorial-board = {yes}, x-proceedings = {yes}, x-international-audience = {yes}, lixcategorie = {CIA}, lixequipe = {Parsifal}, url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/unity2010.pdf} }
@article{nigam10jar, author = {Vivek Nigam and Dale Miller}, title = {A framework for proof systems}, volume = {45}, number = {2}, journal = {J. of Automated Reasoning}, pages = {157--188}, year = {2010}, url = {http://springerlink.com/content/m12014474287n423/}, pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/nigam-ijcar.pdf}, lixcategorie = {RI}, lixequipe = {Parsifal}, x-pays = {US}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {revue} }
@article{saurin10tocl, author = {Alexis Saurin}, title = {Typing Streams in {$\Lambda\mu$}-calculus}, journal = {{ACM} Transactions on Computational Logic}, year = {2010}, pdf = {http://tocl.acm.org/accepted/394saurin.pdf}, volume = {11}, number = {4}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {revue}, lixcategorie = {RI}, lixequipe = {Parsifal}, x-editorial-board = {yes}, x-international-audience = {yes} }
@inproceedings{strassburger10cie, author = {Lutz Stra{\ss}burger}, title = {What Is the Problem with Proof Nets for Classical Logic?}, booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe (CiE 2010)}, year = {2010}, month = jun, address = {Ponta Delgada, Azores, Portugal}, pages = {406--416}, editor = {Fernando Ferreira and Benedikt L{\"o}we and Elvira Mayordomo and Lu\'{\i}s Mendes Gomes}, publisher = {Springer}, series = {LNCS}, volume = {6158}, doi = {10.1007/978-3-642-13962-8\_45}, url = {http://www.lix.polytechnique.fr/~lutz/papers/CiE10.pdf}, x-proceedings = {yes}, x-international-audience = {yes}, lixequipe = {Parsifal}, lixcategorie = {Cinv} }
@article{tiu10tocl, author = {Alwen Tiu and Dale Miller}, title = {Proof Search Specifications of Bisimulation and Modal Logics for the $\pi$-calculus}, journal = {ACM Trans.\ on Computational Logic}, volume = {11}, number = {2}, doi = {10.1145/1656242.1656248}, url = {http://arxiv.org/abs/0805.2785}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {revue}, lixcategorie = {RI}, lixequipe = {Parsifal}, x-pays = {AU}, year = {2010} }
This file was generated by bibtex2html 1.98.