select2005.bib

@comment{{This file has been generated by bib2bib 1.94}}

@comment{{Command line: /usr/bin/bib2bib -ob select2005.bib -c 'lixequipe : "Parsifal"' -c year=2005 master.bib}}

@techreport{baelde05stage,
  author = {David Baelde},
  title = {Logique lin\'eaire et alg\`ebre de processus},
  year = {2005},
  institution = {INRIA Futurs, LIX and ENS},
  ps = {http://www.lix.polytechnique.fr/parsifal/baelde05stage.ps},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {these},
  x-support = {rapport}
}

@inproceedings{miller05galop,
  author = {Dale Miller and Alexis Saurin},
  title = {A game semantics for proof search: Preliminary
                 results},
  booktitle = {GaLoP 2005: Games for Logic and Programming
                 Languages},
  editor = {Dan Ghica and Guy McCusker},
  year = {2005},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes}
}

@article{miller05tocl,
  author = {Dale Miller and Alwen Tiu},
  title = {A proof theory for generic judgments},
  journal = {ACM Trans.\ on Computational Logic},
  editor = {Phokion Kolaitis},
  month = oct,
  volume = {6},
  number = {4},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {AU},
  aeres = {Dummy Field},
  x-equipes = {Parsifal Slimmer},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {TOCL},
  pages = {749--783},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  year = {2005},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tocl-nabla.pdf}
}

@inproceedings{pimentel05lpar,
  author = {Elaine Pimentel and Dale Miller},
  title = {On the specification of sequent systems},
  booktitle = {LPAR 2005: 12th International Conference on Logic for
                 Programming, Artificial Intelligence and Reasoning},
  year = {2005},
  pages = {352--366},
  series = {LNAI},
  number = {3835},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lpar05.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {BR},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {LPAR},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}

@inproceedings{saurin05lics,
  author = {Alexis Saurin},
  title = {Separation with Streams in the $\lambda\mu$-calculus},
  pages = {356--365},
  booktitle = {20th Symp.\ on Logic in Computer Science},
  publisher = {IEEE Computer Society},
  year = {2005},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {LICS}
}

@inproceedings{tiu05eshol,
  author = {Alwen Tiu and Gopalan Nadathur and Dale Miller},
  title = {Mixing Finite Success and Finite Failure in an
                 Automated Prover},
  booktitle = {Empirically Successful Automated Reasoning in
                 Higher-Order Logics (ESHOL'05)},
  pages = {79--98},
  year = {2005},
  month = dec,
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/eshol05.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal Slimmer},
  x-pays = {US,AU},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes}
}

@inproceedings{ziegler05sos,
  author = {Axelle Ziegler and Dale Miller and Catuscia
                 Palamidessi},
  title = {A congruence format for name-passing calculi},
  booktitle = {Structural Operational Semantics (SOS'05)},
  month = jul,
  year = {2005},
  pages = {169--189},
  series = {ENTCS},
  address = {Lisbon, Portugal},
  publisher = {Elsevier Science B.V.},
  pdf = {http://www.lix.polytechnique.fr/parsifal/ziegler05report.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal comete},
  x-type = {article},
  x-support = {actes}
}

This file was generated by bibtex2html 1.94.