select2010.bib

@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.