@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2009.bib -c 'lixequipe : "Parsifal"' -c year=2009 master.bib}}
@inproceedings{baelde09tableaux,
author = {David Baelde},
title = {On the proof theory of regular fixed points},
booktitle = {TABLEAUX 09: Automated Reasoning with Analytic
Tableaux and Related Methods},
year = {2009},
editor = {Martin Giese and Arild Waller},
pages = {93--107},
number = {5607},
series = {LNAI},
lixcategorie = {CIA},
lixequipe = {Parsifal Slimmer},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {TABLEAUX},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
url = {http://www.lix.polytechnique.fr/~dbaelde/productions/pool/baelde09tableaux.pdf}
}
@inproceedings{brunnler09tableaux,
author = {Kai Br{\"u}nnler and Lutz Stra{\ss}burger},
title = {Modular Sequent Systems for Modal Logic},
booktitle = {TABLEAUX 09: Automated Reasoning with Analytic
Tableaux and Related Methods},
year = {2009},
pages = {152--166},
editor = {Martin Giese and Arild Waller},
number = {5607},
series = {LNAI},
publisher = {Springer},
url = {http://www.iam.unibe.ch/~kai/Papers/2009mssml.pdf},
doi = {10.1007/978-3-642-02716-1\_12},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {CH},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {TABLEAUX},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@techreport{chaudhuri09tr,
title = {A Hybrid Linear Logic for Constrained Transition
Systems with Applications to Molecular Biology},
author = {Kaustuv Chaudhuri and Jo{\"e}lle Despeyroux},
type = {Research Report},
year = {2009},
number = {inria-00402942},
institution = {INRIA-HAL},
url = {http://hal.archives-ouvertes.fr/inria-00402942/en/},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {rapport},
lixcategorie = {RT},
lixequipe = {Parsifal}
}
@inproceedings{ciabattoni09csl,
author = {Agata Ciabattoni and Lutz Stra{\ss}burger and
Kazushige Terui},
title = {Expanding the Realm of Systematic Proof Theory},
year = {2009},
pages = {163--178},
doi = {10.1007/978-3-642-04027-6\_14},
editor = {Erich Gr{\"a}del and Reinhard Kahle},
booktitle = {Computer Science Logic, CSL'09},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5771},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-proceedings = {yes},
x-international-audience = {yes}
}
@phdthesis{delande09phd,
author = {Olivier Delande},
title = {Symmetric Dialogue Games in the Proof Theory of Linear
Logic},
school = {Ecole Polytechnique},
year = {2009},
lixcategorie = {TH},
lixequipe = {Parsifal},
x-pays = {FR},
month = oct,
url = {http://www.lix.polytechnique.fr/~delande/thesis.xhtml}
}
@article{gabbay09ic,
author = {Murdoch Gabbay and {St\'ephane} Lengrand},
title = {The lambda-context Calculus},
editor = {Mariangiola Dezani-Ciancaglini},
journal = {Information and Computation},
volume = {207},
number = {12},
pages = {1369--1400},
year = {2009},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {JIC},
lixcategorie = {RI},
lixequipe = {Parsifal},
x-pays = {GB},
x-international-audience = {yes},
x-editorial-board = {yes}
}
@techreport{henriksen09tr,
title = {{U}sing {LJF} as a {F}ramework for {P}roof {S}ystems},
author = {Anders Starcke Henriksen},
affiliation = {{U}niversity of {C}openhagen},
institution = {{U}niversity of {C}openhagen},
type = {{T}echnical {R}eport},
year = {2009},
url = {http://hal.inria.fr/inria-00442159/en/},
lixequipe = {Parsifal}
}
@unpublished{hetzl.unp,
author = {Stefan Hetzl},
title = {On the form of witness terms},
note = {Draft manuscript},
year = {2009},
lixcategorie = {AU},
lixequipe = {Parsifal}
}
@inproceedings{liang09lics,
author = {Chuck Liang and Dale Miller},
title = {A Unified Sequent Calculus for Focused Proofs},
year = {2009},
pages = {355--364},
booktitle = {24th Symp.\ on Logic in Computer Science},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {US},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {LICS},
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/liang09lics.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@article{liang09tcs,
author = {Chuck Liang and Dale Miller},
title = {Focusing and Polarization in Linear, Intuitionistic,
and Classical Logics},
year = {2009},
journal = {Theoretical Computer Science},
publisher = {Elsevier},
volume = {410},
number = {46},
pages = {4747--4768},
lixcategorie = {RI},
lixequipe = {Parsifal},
x-pays = {US},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {revue},
x-cle-support = {TCS},
x-international-audience = {yes},
x-editorial-board = {yes},
doi = {10.1016/j.tcs.2009.07.041}
}
@techreport{mehats09hal,
hal_id = {hal-00649591},
url = {http://hal.inria.fr/hal-00649591},
institution = {INRIA},
number = {hal-00649591},
title = {{Non-crossing tree realizations of ordered degree
sequences}},
author = {Laurent M\'ehats and Lutz Stra{\ss}burger},
affiliation = {Laboratoire Bordelais de Recherche en Informatique -
LaBRI , Laboratoire d'informatique de l'{\'e}cole
polytechnique - LIX},
pages = {15},
type = {Research Report},
year = {2009},
month = dec,
pdf = {http://hal.inria.fr/hal-00649591/PDF/noncrosstree-17-12-09.pdf},
lixequipe = {Parsifal},
lixcategorie = {RT}
}
@inproceedings{miller09wflp,
author = {Dale Miller},
title = {Formalizing Operational Semantic Specifications in
Logic},
booktitle = {Proceedings of the 17th International Workshop on
Functional and (Constraint) Logic Programming (WFLP
2008)},
volume = {246},
pages = {147--165},
year = {2009},
month = aug,
doi = {10.1016/j.entcs.2009.07.020},
lixcategorie = {Cinv},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes}
}
@phdthesis{nigam09phd,
author = {Vivek Nigam},
title = {Exploiting non-canonicity in the sequent calculus},
school = {Ecole Polytechnique},
year = {2009},
month = sep,
lixcategorie = {TH},
lixequipe = {Parsifal},
x-pays = {FR},
url = {http://www.nigam.info/thesis/Vivek_Nigam_phd.pdf}
}
@inproceedings{nigam09ppdp,
author = {Vivek Nigam and Dale Miller},
title = {Algorithmic specifications in linear logic with
subexponentials},
booktitle = {ACM SIGPLAN Conference on Principles and Practice of
Declarative Programming (PPDP)},
editors = {Ant\'onio Porto and Francisco Javier L\'opez-Fraguas},
pages = {129--140},
year = {2009},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {PPDP},
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp09.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{strassburger09lata,
author = {Lutz Stra{\ss}burger},
title = {A {K}leene Theorem for Forest Languages},
booktitle = {Language and Automata Theory and Applications,
LATA'09},
year = {2009},
pages = {715--727},
doi = {10.1007/978-3-642-00982-2\_61},
editor = {Adrian Horia Dediu and Armand-Mihai Ionescu and Carlos
Mart\'{\i}n-Vide},
publisher = {Springer},
series = {LNCS},
volume = {5457},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{strassburger09tlca,
author = {Lutz Stra{\ss}burger},
title = {Some Observations on the Proof Theory of Second Order
Propositional Multiplicative Linear Logic},
booktitle = {Typed Lambda Calculi and Applications, TLCA'09},
year = {2009},
pages = {309--324},
doi = {10.1007/978-3-642-02273-9\_23},
editor = {Pierre-Louis Curien},
publisher = {Springer},
series = {LNCS},
volume = {5608},
lixcategorie = {CIA},
lixequipe = {Parsifal}
}
This file was generated by bibtex2html 1.98.