@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2014.bib -c 'lixequipe : "Parsifal"' -c year=2014 master.bib}}
@article{baelde14jfr,
author = {David Baelde and Kaustuv Chaudhuri and Andrew Gacek
and Dale Miller and Gopalan Nadathur and Alwen Tiu and
Yuting Wang},
title = {Abella: {A} System for Reasoning about Relational
Specifications},
journal = {Journal of Formalized Reasoning},
year = {2014},
volume = {7},
number = {2},
doi = {10.6092/issn.1972-5787/4650},
url = {http://jfr.unibo.it/article/download/4650/4137},
lixcategorie = {RI},
lixequipe = {Parsifal},
x-pays = {US,SG},
x-international-audience = {yes},
x-editorial-board = {yes},
x-scientific-popularization = {yes}
}
@incollection{benzmueller14lc,
author = {Christoph Benzm{\"u}ller and Dale Miller},
title = {Automation of Higher-Order Logic},
booktitle = {Computational Logic},
publisher = {North Holland},
year = {2014},
editor = {J. Siekmann},
volume = {9},
pages = {215--254},
series = {Handbook of the History of Logic},
isbn = {978-0-444-51624-4},
doi = {10.1016/B978-0-444-51624-4.50005-8},
lixequipe = {Parsifal},
lixcategorie = {OUV}
}
@inproceedings{chaudhuri14csllics,
author = {Kaustuv Chaudhuri and Nicolas Guenot},
title = {Equality and Fixpoints in the Calculus of Structures},
doi = {10.1145/2603088.2603140},
url = {http://chaudhuri.info/papers/csllics14eqfix.pdf},
booktitle = {Proceedings of the Twenty-Third EACSL Annual
Conference on Computer Science Logic ({CSL}) and the
Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in
Computer Science ({LICS})},
year = {2014},
editor = {Tom Henzinger and Dale Miller},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {DK},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{chaudhuri14linearity,
author = {Kaustuv Chaudhuri},
title = {Undecidability of Multiplicative Subexponential
Logic},
booktitle = {3rd International Workshop on Linearity (LINEARITY)},
year = {2014},
editor = {Sandra Alves and Iliano Cervesato},
month = jul,
address = {Vienna, Austria},
volume = {176},
series = {Electronic Proceedings in Theoretical Computer
Science},
pages = {1--8},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2014.1},
doi = {10.4204/EPTCS.176.1}
}
@inproceedings{das14csllics,
author = {Anupam Das},
title = {Pigeonhole and related combinatorial principles in
deep inference and monotone systems},
doi = {10.1145/2603088.2603164},
booktitle = {Proceedings of the Twenty-Third EACSL Annual
Conference on Computer Science Logic ({CSL}) and the
Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in
Computer Science ({LICS})},
year = {2014},
editor = {Tom Henzinger and Dale Miller},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{guenot14csllics,
author = {Nicolas Guenot and Lutz Strassburger},
title = {Symmetric Normalisation for Intuitionistic Logic},
doi = {10.1145/2603088.2603160},
booktitle = {Proceedings of the Twenty-Third EACSL Annual
Conference on Computer Science Logic ({CSL}) and the
Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in
Computer Science ({LICS})},
year = {2014},
editor = {Tom Henzinger and Dale Miller},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {DK},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{ilik14csllics,
author = {Danko Ilik},
title = {Axioms and Decidability for Type Isomorphism in
Presence of Sums},
doi = {10.1145/2603088.2603115},
booktitle = {Proceedings of the Twenty-Third EACSL Annual
Conference on Computer Science Logic ({CSL}) and the
Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in
Computer Science ({LICS})},
year = {2014},
editor = {Tom Henzinger and Dale Miller},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{miller14clmps,
author = {Dale Miller},
title = {Communicating and trusting proofs: The case for broad
spectrum proof certificates},
booktitle = {Logic, Methodology, and Philosophy of Science.
Proceedings of the Fourteenth International Congress},
year = {2014},
editor = {P. Schroeder-Heister and W. Hodges and G. Heinzmann
and P. E. Bour},
pages = {323--342},
publisher = {College Publications},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{southern14fsttcs,
author = {Mary Southern and Kaustuv Chaudhuri},
title = {A Two-Level Logic Approach to Reasoning about Typed
Specification Languages},
booktitle = {34th International Conference on Foundations of
Software Technology and Theoretical Computer Science
(FSTTCS)},
year = {2014},
pages = {557--569},
volume = {29},
series = {Leibniz International Proceedings in Informatics
(LIPIcs)},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
editor = {Venkatesh Raman and S. P. Suresh},
month = dec,
address = {New Delhi, India},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {US},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
doi = {10.4230/LIPIcs.FSTTCS.2014.557},
url = {http://abella-prover.org/papers/fsttcs14lf.pdf}
}
This file was generated by bibtex2html 1.98.