@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2017.bib -c 'lixequipe : "Parsifal"' -c year=2017 master.bib}}
@article{chihani17jar,
author = {Zakaria Chihani and Dale Miller and Fabien Renaud},
title = {A semantic framework for proof evidence},
journal = {J. of Automated Reasoning},
year = {2017},
pages = {287--330},
volume = {59},
doi = {10.1007/s10817-016-9380-6},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {AU},
aeres = {Dummy Field},
x-equipes = {Parsifal Slimmer},
x-type = {article},
x-support = {revue},
x-cle-support = {JAR}
}
@inproceedings{gerard17csl,
author = {Ulysse G\'erard and Dale Miller},
title = {Separating Functional Computation from Relations},
booktitle = {26th EACSL Annual Conference on Computer Science Logic
(CSL 2017)},
year = {2017},
editor = {Valentin Goranko and Mads Dam},
volume = {82},
series = {LIPIcs},
pages = {23:1--23:17},
doi = {10.4230/LIPIcs.CSL.2017.23},
lixequipe = {Parsifal},
lixcategorie = {CIA}
}
@inproceedings{heath17linearity,
author = {Quentin Heath and Dale Miller},
title = {A Proof Theory for Model Checking: An Extended
Abstract},
month = jan,
year = {2017},
booktitle = {Proceedings Fourth International Workshop on Linearity
(LINEARITY 2016)},
editor = {Iliano Cervesato and Maribel Fern\'andez},
volume = {238},
series = {EPTCS},
doi = {10.4204/EPTCS.238.1},
lixequipe = {Parsifal}
}
@article{miller17fac,
author = {Dale Miller},
title = {Proof checking and logic programming},
journal = {Formal Aspects of Computing},
year = {2017},
pages = {383--399},
volume = {29},
number = {3},
doi = {10.1007/s00165-016-0393-z},
url = {http://dx.doi.org/10.1007/s00165-016-0393-z},
pdf = {https://hal.inria.fr/hal-01390901/file/paper.pdf},
hal_id = {hal-01390901},
hal_version = {v1},
lixcategorie = {RI},
lixequipe = {Parsifal}
}
This file was generated by bibtex2html 1.98.