default search action
BibTeX records: Olivier Hermant
@inproceedings{DBLP:conf/lpar/HermantL24, author = {Olivier Hermant and Wojciech Loboda}, editor = {Nikolaj S. Bj{\o}rner and Marijn Heule and Andrei Voronkov}, title = {Numeric Base Conversion with Rewriting}, booktitle = {{LPAR} 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024}, series = {Kalpa Publications in Computing}, volume = {18}, pages = {92--106}, publisher = {EasyChair}, year = {2024}, url = {https://doi.org/10.29007/21t9}, doi = {10.29007/21T9}, timestamp = {Fri, 12 Jul 2024 15:29:30 +0200}, biburl = {https://dblp.org/rec/conf/lpar/HermantL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/RosainBCH24, author = {Johann Rosain and Richard Bonichon and Julie Cailler and Olivier Hermant}, editor = {Nikolaj S. Bj{\o}rner and Marijn Heule and Andrei Voronkov}, title = {A Generic Deskolemization Strategy}, booktitle = {{LPAR} 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024}, series = {EPiC Series in Computing}, volume = {100}, pages = {246--263}, publisher = {EasyChair}, year = {2024}, url = {https://doi.org/10.29007/g1tm}, doi = {10.29007/G1TM}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/RosainBCH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Wed, 21 Aug 2024 22:46: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, 07 May 2024 01:00:00 +0200}, 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 = {Wed, 21 Aug 2024 22:46: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} }
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.