select2004.bib

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

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

@inproceedings{gabbay04lics,
  author = {M. J. Gabbay and J. Cheney},
  title = {A Sequent Calculus for Nominal Logic},
  booktitle = {19uth Symp.\ on Logic in Computer Science},
  pages = {139--148},
  year = {2004},
  pdf = {http://www.lix.polytechnique.fr/Labo/Murdoch.Gabbay/papers/seqcnl.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {GB}
}

@inproceedings{miller04csl,
  author = {Dale Miller},
  title = {Bindings, mobility of bindings, and the
                 $\nabla$-quantifier},
  booktitle = {18th International Conference on Computer Science
                 Logic {(CSL)} 2004},
  pages = {24},
  year = {2004},
  editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
  volume = {3210},
  series = {LNCS},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/csl04talk.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {}
}

@incollection{miller04lc,
  author = {Dale Miller and Elaine Pimentel},
  title = {Linear logic as a framework for specifying sequent
                 calculus},
  booktitle = {Logic Colloquium '99: Proceedings of the Annual
                 European Summer Meeting of the Association for Symbolic
                 Logic},
  publisher = {A K Peters Ltd},
  series = {Lecture Notes in Logic},
  editor = {Jan van Eijck and Vincent van Oostrom and Albert
                 Visser},
  pages = {111--135},
  year = {2004},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lc99.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lc99.dvi},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lc99.ps},
  lixcategorie = {OUV},
  lixequipe = {Parsifal},
  x-pays = {BR}
}

@incollection{miller04llcs,
  author = {Dale Miller},
  editor = {Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and
                 Phil Scott},
  booktitle = {Linear Logic in Computer Science},
  title = {Overview of linear logic programming},
  publisher = {Cambridge University Press},
  series = {London Mathematical Society Lecture Note},
  volume = {316},
  year = {2004},
  pages = {119--150},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.ps},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.dvi},
  lixcategorie = {OUV},
  lixequipe = {Parsifal},
  x-pays = {}
}

@phdthesis{tiu04phd,
  author = {Alwen Tiu},
  title = {A Logical Framework for Reasoning about Logical
                 Specifications},
  school = {Pennsylvania State University},
  year = {2004},
  month = may,
  lixcategorie = {TH},
  lixequipe = {Parsifal Slimmer},
  x-pays = {},
  pdf = {http://www.lix.polytechnique.fr/Labo/Alwen.Tiu/etd.pdf},
  url = {http://etda.libraries.psu.edu/theses/approved/WorldWideIndex/ETD-479/}
}

@manual{tiu04tutorial,
  title = {Level 0/1 Prover: {A} tutorial},
  author = {Alwen Tiu},
  month = sep,
  year = {2004},
  note = {Available online.},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {}
}

@techreport{ziegler04stage,
  author = {Axelle Ziegler},
  title = {Un format pour que la bisimulation soit une congruence
                 dans les langages de processus avec mobilit\'{e}},
  year = {2004},
  institution = {INRIA Futurs, LIX and ENS},
  pdf = {http://www.lix.polytechnique.fr/parsifal/ziegler04stage.pdf},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {}
}

This file was generated by bibtex2html 1.98.