Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olivier Hermant
@article{DBLP:journals/corr/abs-2304-10975,
author = {Gilles Dowek and
Olivier Hermant},
title = {A Simple Proof That Super-Consistency Implies Cut Elimination},
journal = {CoRR},
volume = {abs/2304.10975},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10975},
doi = {10.48550/ARXIV.2304.10975},
eprinttype = {arXiv},
eprint = {2304.10975},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07185,
author = {Ali Assaf and
Guillaume Burel and
Rapha{\"{e}}l Cauderlier and
David Delahaye and
Gilles Dowek and
Catherine Dubois and
Fr{\'{e}}d{\'{e}}ric Gilbert and
Pierre Halmagrand and
Olivier Hermant and
Ronan Saillard},
title = {Dedukti: a Logical Framework based on the {\(\lambda\)}{\(\Pi\)}-Calculus
Modulo Theory},
journal = {CoRR},
volume = {abs/2311.07185},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07185},
doi = {10.48550/ARXIV.2311.07185},
eprinttype = {arXiv},
eprint = {2311.07185},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BurelBCDHH20,
author = {Guillaume Burel and
Guillaume Bury and
Rapha{\"{e}}l Cauderlier and
David Delahaye and
Pierre Halmagrand and
Olivier Hermant},
title = {First-Order Automated Reasoning with Theories: When Deduction Modulo
Theory Meets Practice},
journal = {J. Autom. Reason.},
volume = {64},
number = {6},
pages = {1001--1050},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09533-z},
doi = {10.1007/S10817-019-09533-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BurelBCDHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BlanquiGH19,
author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Guillaume Genestier and
Olivier Hermant},
editor = {Herman Geuvers},
title = {Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting},
booktitle = {4th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
series = {LIPIcs},
volume = {131},
pages = {9:1--9:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2019.9},
doi = {10.4230/LIPICS.FSCD.2019.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BlanquiGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-11649,
author = {Fr{\'{e}}d{\'{e}}ric Blanqui and
Guillaume Genestier and
Olivier Hermant},
title = {Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting},
journal = {CoRR},
volume = {abs/1906.11649},
year = {2019},
url = {http://arxiv.org/abs/1906.11649},
eprinttype = {arXiv},
eprint = {1906.11649},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/PasquierHMBHEBS18,
author = {Thomas F. J.{-}M. Pasquier and
Xueyuan Han and
Thomas Moyer and
Adam Bates and
Olivier Hermant and
David M. Eyers and
Jean Bacon and
Margo I. Seltzer},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {Runtime Analysis of Whole-System Provenance},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {1601--1616},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243776},
doi = {10.1145/3243734.3243776},
timestamp = {Tue, 10 Nov 2020 20:00:51 +0100},
biburl = {https://dblp.org/rec/conf/ccs/PasquierHMBHEBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Hermant18,
author = {Olivier Hermant},
editor = {Maximiliano Cristi{\'{a}} and
David Delahaye and
Catherine Dubois},
title = {Polarized Rewriting and Tableaux in {B} Set Theory},
booktitle = {Proceedings of the 3rd International Workshop on Sets and Tools co-located
with the 6th International {ABZ} Conference, SETS@ABZ 2018, Southamptom,
UK, June 5, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2199},
pages = {67--72},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2199/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/zum/Hermant18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08536,
author = {Olivier Hermant},
title = {Polarized Rewriting and Tableaux in {B} Set Theory},
journal = {CoRR},
volume = {abs/1806.08536},
year = {2018},
url = {http://arxiv.org/abs/1806.08536},
eprinttype = {arXiv},
eprint = {1806.08536},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-06049,
author = {Thomas F. J.{-}M. Pasquier and
Xueyuan Han and
Thomas Moyer and
Adam Bates and
Olivier Hermant and
David M. Eyers and
Jean Bacon and
Margo I. Seltzer},
title = {Runtime Analysis of Whole-System Provenance},
journal = {CoRR},
volume = {abs/1808.06049},
year = {2018},
url = {http://arxiv.org/abs/1808.06049},
eprinttype = {arXiv},
eprint = {1808.06049},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-06049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Hermant17,
author = {Olivier Hermant},
title = {Compl{\'{e}}tude en Logiques},
year = {2017},
url = {https://tel.archives-ouvertes.fr/tel-01529422},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Hermant17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/Kumar0CH16,
author = {Sathiya Prabhu Kumar and
Sylvain Lefebvre and
Raja Chiky and
Olivier Hermant},
editor = {Bruno Pinaud and
Fabrice Guillet and
Bruno Cr{\'{e}}milleux and
Cyril de Runz},
title = {Consistency-Latency Trade-Off of the LibRe Protocol: {A} Detailed
Study},
booktitle = {Advances in Knowledge Discovery and Management - Volume 7 [Best of
{EGC} 2016,Reims, France]},
series = {Studies in Computational Intelligence},
volume = {732},
pages = {83--108},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-65406-5\_4},
doi = {10.1007/978-3-319-65406-5\_4},
timestamp = {Sat, 30 Sep 2023 09:40:59 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/Kumar0CH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/PasquierSBH15,
author = {Thomas F. J.{-}M. Pasquier and
Jatinder Singh and
Jean Bacon and
Olivier Hermant},
editor = {Calton Pu and
Ajay Mohindra},
title = {Managing Big Data with Information Flow Control},
booktitle = {8th {IEEE} International Conference on Cloud Computing, {CLOUD} 2015,
New York City, NY, USA, June 27 - July 2, 2015},
pages = {524--531},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CLOUD.2015.76},
doi = {10.1109/CLOUD.2015.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/PasquierSBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BuryDDHH15,
author = {Guillaume Bury and
David Delahaye and
Damien Doligez and
Pierre Halmagrand and
Olivier Hermant},
editor = {Ansgar Fehnker and
Annabelle McIver and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Automated Deduction in the {B} Set Theory using Typed Proof Search
and Deduction Modulo},
booktitle = {20th International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
Fiji, November 24-28, 2015},
series = {EPiC Series in Computing},
volume = {35},
pages = {42--58},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/14v7},
doi = {10.29007/14V7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BuryDDHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GilbertH15,
author = {Ga{\"{e}}tan Gilbert and
Olivier Hermant},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Normalisation by Completeness with Heyting Algebras},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {469--482},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_33},
doi = {10.1007/978-3-662-48899-7\_33},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GilbertH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonichonH15,
author = {Richard Bonichon and
Olivier Hermant},
title = {A syntactic soundness proof for free-variable tableaux with on-the-fly
Skolemization},
journal = {CoRR},
volume = {abs/1505.06376},
year = {2015},
url = {http://arxiv.org/abs/1505.06376},
eprinttype = {arXiv},
eprint = {1505.06376},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonichonH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaisonneuveHI14,
author = {Vivien Maisonneuve and
Olivier Hermant and
Fran{\c{c}}ois Irigoin},
editor = {Axel Simon and
Arnaud Venet},
title = {Computing Invariants with Transformers: Experimental Scalability and
Accuracy},
booktitle = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
NSAD@SAS 2014, Munich, Germany, September 10, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {307},
pages = {17--31},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.08.003},
doi = {10.1016/J.ENTCS.2014.08.003},
timestamp = {Thu, 10 Nov 2022 15:51:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaisonneuveHI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AllaliH14,
author = {Lisa Allali and
Olivier Hermant},
title = {Semantic A-translation and Super-consistency entail Classical Cut
Elimination},
journal = {CoRR},
volume = {abs/1401.0998},
year = {2014},
url = {http://arxiv.org/abs/1401.0998},
eprinttype = {arXiv},
eprint = {1401.0998},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AllaliH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/LeHMPR13,
author = {Truong Giang Le and
Olivier Hermant and
Matthieu Manceny and
Renaud Pawlak and
Renaud Rioboo},
editor = {James J. Park and
Hamid R. Arabnia and
Cheonshik Kim and
Weisong Shi and
Joon{-}Min Gil},
title = {Using Event-Based Style for Developing {M2M} Applications},
booktitle = {Grid and Pervasive Computing - 8th International Conference, {GPC}
2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7861},
pages = {348--357},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38027-3\_37},
doi = {10.1007/978-3-642-38027-3\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpc/LeHMPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/LeFHMPR13,
author = {Truong Giang Le and
Dmitriy Fedosov and
Olivier Hermant and
Matthieu Manceny and
Renaud Pawlak and
Renaud Rioboo},
editor = {Gunar Schirner and
Marcelo G{\"{o}}tz and
Achim Rettberg and
Mauro Cesar Zanella and
Franz J. Rammig},
title = {Programming Robots with Events},
booktitle = {Embedded Systems: Design, Analysis and Verification - 4th {IFIP} {TC}
10 International Embedded Systems Symposium, {IESS} 2013, Paderborn,
Germany, June 17-19, 2013. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {403},
pages = {14--25},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38853-8\_2},
doi = {10.1007/978-3-642-38853-8\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/LeFHMPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BoudardH13,
author = {M{\'{e}}lanie Boudard and
Olivier Hermant},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Polarizing Double-Negation Translations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {182--197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_14},
doi = {10.1007/978-3-642-45221-5\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BoudardH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DelahayeDGHH13,
author = {David Delahaye and
Damien Doligez and
Fr{\'{e}}d{\'{e}}ric Gilbert and
Pierre Halmagrand and
Olivier Hermant},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {274--290},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_20},
doi = {10.1007/978-3-642-45221-5\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DelahayeDGHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AllaliH13,
author = {Lisa Allali and
Olivier Hermant},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Semantic A-translations and Super-Consistency Entail Classical Cut
Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {407--422},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_28},
doi = {10.1007/978-3-642-45221-5\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AllaliH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoudardH13,
author = {M{\'{e}}lanie Boudard and
Olivier Hermant},
title = {Polarizing Double Negation Translations},
journal = {CoRR},
volume = {abs/1312.5420},
year = {2013},
url = {http://arxiv.org/abs/1312.5420},
eprinttype = {arXiv},
eprint = {1312.5420},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoudardH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowekH12,
author = {Gilles Dowek and
Olivier Hermant},
title = {A Simple Proof that Super-Consistency Implies Cut Elimination},
journal = {Notre Dame J. Formal Log.},
volume = {53},
number = {4},
pages = {439--456},
year = {2012},
url = {https://doi.org/10.1215/00294527-1722692},
doi = {10.1215/00294527-1722692},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowekH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LeHMPR12,
author = {Truong Giang Le and
Olivier Hermant and
Matthieu Manceny and
Renaud Pawlak and
Renaud Rioboo},
editor = {Slimane Hammoudi and
Marten van Sinderen and
Jos{\'{e}} Cordeiro},
title = {Unifying Event-based and Rule-based Styles to Develop Concurrent and
Context-aware Reactive Applications - Toward a Convenient Support
for Concurrent and Reactive Programming},
booktitle = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
pages = {347--350},
publisher = {SciTePress},
year = {2012},
url = {https://doi.org/10.5220/0004081403470350},
doi = {10.5220/0004081403470350},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/LeHMPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/BoespflugCH12,
author = {Mathieu Boespflug and
Quentin Carbonneaux and
Olivier Hermant},
editor = {David Pichardie and
Tjark Weber},
title = {The {\(\lambda\)}{\(\Pi\)}-calculus Modulo as a Universal Proof Language},
booktitle = {Proceedings of the Second International Workshop on Proof Exchange
for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {878},
pages = {28--43},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-878/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/BoespflugCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CousineauH12,
author = {Denis Cousineau and
Olivier Hermant},
editor = {Ashish Tiwari},
title = {A Semantic Proof that Reducibility Candidates entail Cut Elimination},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {133--148},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.133},
doi = {10.4230/LIPICS.RTA.2012.133},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CousineauH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/LeHMP11,
author = {Truong Giang Le and
Olivier Hermant and
Matthieu Manceny and
Renaud Pawlak},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {Dynamic Adaptation through Event Reconfiguration},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2011 Workshops -
Confederated International Workshops and Posters: {EI2N+NSF} ICE,
ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and {VADER} 2011,
Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7046},
pages = {637--646},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25126-9\_78},
doi = {10.1007/978-3-642-25126-9\_78},
timestamp = {Thu, 14 Oct 2021 10:28:26 +0200},
biburl = {https://dblp.org/rec/conf/otm/LeHMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BrunelHH11,
author = {Alo{\"{\i}}s Brunel and
Olivier Hermant and
Cl{\'{e}}ment Houtmann},
editor = {C.{-}H. Luke Ong},
title = {Orthogonality and Boolean Algebras for Deduction Modulo},
booktitle = {Typed Lambda Calculi and Applications - 10th International Conference,
{TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6690},
pages = {76--90},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21691-6\_9},
doi = {10.1007/978-3-642-21691-6\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BrunelHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hermant10,
author = {Olivier Hermant},
title = {Resolution is Cut-Free},
journal = {J. Autom. Reason.},
volume = {44},
number = {3},
pages = {245--276},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9153-6},
doi = {10.1007/S10817-009-9153-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hermant10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HermantL10,
author = {Olivier Hermant and
James Lipton},
title = {Completeness and Cut-elimination in the Intuitionistic Theory of Types
- Part 2},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {597--602},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp076},
doi = {10.1093/LOGCOM/EXP076},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HermantL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HermantL08,
author = {Olivier Hermant and
James Lipton},
editor = {Michael Kaminski and
Simone Martini},
title = {A Constructive Semantic Approach to Cut Elimination in Type Theories
with Axioms},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {169--183},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_14},
doi = {10.1007/978-3-540-87531-4\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HermantL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DowekH07,
author = {Gilles Dowek and
Olivier Hermant},
editor = {Franz Baader},
title = {A Simple Proof That Super-Consistency Implies Cut Elimination},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {93--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_9},
doi = {10.1007/978-3-540-73449-9\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DowekH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BonichonH06,
author = {Richard Bonichon and
Olivier Hermant},
editor = {Miki Hermann and
Andrei Voronkov},
title = {A Semantic Completeness Proof for TaMeD},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {167--181},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_12},
doi = {10.1007/11916277\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BonichonH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BonichonH06,
author = {Richard Bonichon and
Olivier Hermant},
editor = {Thorsten Altenkirch and
Conor McBride},
title = {On Constructive Cut Admissibility in Deduction Modulo},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {33--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_3},
doi = {10.1007/978-3-540-74464-1\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BonichonH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Hermant05,
author = {Olivier Hermant},
editor = {Pawel Urzyczyn},
title = {Semantic Cut Elimination in the Intuitionistic Sequent Calculus},
booktitle = {Typed Lambda Calculi and Applications, 7th International Conference,
{TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3461},
pages = {221--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417170\_17},
doi = {10.1007/11417170\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Hermant05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
