@comment{{This file has been generated by bib2bib 1.98}}
@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}, doi = {10.1145/1094622.1094628}, 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{tiu05fguc, author = {Alwen Tiu and Dale Miller}, title = {A Proof Search Specification of the $\pi$-Calculus}, booktitle = {3rd Workshop on the Foundations of Global Ubiquitous Computing}, year = {2005}, series = {ENTCS}, volume = {138}, pages = {79--101}, doi = {10.1016/j.entcs.2005.05.006}, url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fguc04workshop.pdf}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {} }
@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.98.