Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Hélène Kirchner
@article{DBLP:journals/mscs/FernandezKP19, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud}, title = {Strategic port graph rewriting: an interactive modelling framework}, journal = {Math. Struct. Comput. Sci.}, volume = {29}, number = {5}, pages = {615--662}, year = {2019}, url = {https://doi.org/10.1017/S0960129518000270}, doi = {10.1017/S0960129518000270}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/FernandezKP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/FernandezKPV18, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud and Jason Vallet}, title = {Labelled graph strategic rewriting for social networks}, journal = {J. Log. Algebraic Methods Program.}, volume = {96}, pages = {12--40}, year = {2018}, url = {https://doi.org/10.1016/j.jlamp.2017.12.005}, doi = {10.1016/J.JLAMP.2017.12.005}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/FernandezKPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rta/2018, editor = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {3rd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}}, series = {LIPIcs}, volume = {108}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {http://www.dagstuhl.de/dagpub/978-3-95977-077-4}, isbn = {978-3-95977-077-4}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rta/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/f-egc/PinaudAFKMV17, author = {Bruno Pinaud and Oana Andrei and Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Guy Melan{\c{c}}on and Jason Vallet}, editor = {Fabien Gandon and Gilles Bisson}, title = {{PORGY} : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting}, booktitle = {17{\`{e}}me Journ{\'{e}}es Francophones Extraction et Gestion des Connaissances, {EGC} 2017, 24-27 Janvier 2017, Grenoble, France}, series = {{RNTI}}, volume = {{E-33}}, pages = {473--476}, publisher = {{\'{E}}ditions {RNTI}}, year = {2017}, url = {http://editions-rnti.fr/?inprocid=1002327}, timestamp = {Fri, 16 Apr 2021 10:04:12 +0200}, biburl = {https://dblp.org/rec/conf/f-egc/PinaudAFKMV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FernandezKP18, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud}, editor = {Sandra Alves and Renata Wasserman}, title = {Labelled Port Graph - {A} Formal Structure for Models and Computations}, booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications, {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017}, series = {Electronic Notes in Theoretical Computer Science}, volume = {338}, pages = {3--21}, publisher = {Elsevier}, year = {2017}, url = {https://doi.org/10.1016/j.entcs.2018.10.002}, doi = {10.1016/J.ENTCS.2018.10.002}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/FernandezKP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/FernandezKPV16, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud and Jason Vallet}, editor = {Dorel Lucanu}, title = {Labelled Graph Rewriting Meets Social Networks}, booktitle = {Rewriting Logic and Its Applications - 11th International Workshop, {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9942}, pages = {1--25}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44802-2\_1}, doi = {10.1007/978-3-319-44802-2\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/FernandezKPV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Kirchner15, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Narciso Mart{\'{\i}}{-}Oliet and Peter Csaba {\"{O}}lveczky and Carolyn L. Talcott}, title = {Rewriting Strategies and Strategic Rewrite Programs}, booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}} Meseguer on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9200}, pages = {380--403}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23165-5\_18}, doi = {10.1007/978-3-319-23165-5\_18}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Kirchner15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Kirchner15, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Maribel Fern{\'{a}}ndez}, title = {Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk)}, booktitle = {26th International Conference on Rewriting Techniques and Applications, {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland}, series = {LIPIcs}, volume = {36}, pages = {1--4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.RTA.2015.1}, doi = {10.4230/LIPICS.RTA.2015.1}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/rta/Kirchner15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/ValletKPM15, author = {Jason Vallet and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud and Guy Melan{\c{c}}on}, editor = {Arend Rensink and Eduardo Zambon}, title = {A Visual Analytics Approach to Compare Propagation Models in Social Networks}, booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015}, series = {{EPTCS}}, volume = {181}, pages = {65--79}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.181.5}, doi = {10.4204/EPTCS.181.5}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ValletKPM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/FernandezKMP14, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Ian Mackie and Bruno Pinaud}, editor = {Arnold Beckmann and Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and Klaus Meer}, title = {Visual Modelling of Complex Systems: Towards an Abstract Machine for {PORGY}}, booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8493}, pages = {183--193}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08019-2\_19}, doi = {10.1007/978-3-319-08019-2\_19}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/FernandezKMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/FernandezKP14, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud}, editor = {Dragan Bosnacki and Stefan Edelkamp and Alberto Lluch{-}Lafuente and Anton Wijs}, title = {Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework}, booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering, {GRAPHITE} 2014, Grenoble, France, 5th April 2014}, series = {{EPTCS}}, volume = {159}, pages = {15--29}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.159.3}, doi = {10.4204/EPTCS.159.3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FernandezKP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/KirchnerK14, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {J{\"{o}}rg H. Siekmann}, title = {Equational Logic and Rewriting}, booktitle = {Computational Logic}, series = {Handbook of the History of Logic}, volume = {9}, pages = {255--282}, publisher = {Elsevier}, year = {2014}, url = {https://doi.org/10.1016/B978-0-444-51624-4.50006-X}, doi = {10.1016/B978-0-444-51624-4.50006-X}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/KirchnerK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/HuangK13, author = {Hejiao Huang and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Secure interoperation design in multi-domains environments based on colored Petri nets}, journal = {Inf. Sci.}, volume = {221}, pages = {591--606}, year = {2013}, url = {https://doi.org/10.1016/j.ins.2012.09.027}, doi = {10.1016/J.INS.2012.09.027}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/HuangK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KirchnerKN13, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Fabrice Nahon}, editor = {Andrei Voronkov and Christoph Weidenbach}, title = {Narrowing Based Inductive Proof Search}, booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger}, series = {Lecture Notes in Computer Science}, volume = {7797}, pages = {216--238}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37651-1\_9}, doi = {10.1007/978-3-642-37651-1\_9}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KirchnerKN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1303-0796, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Fabio Mogavero and Aniello Murano and Moshe Y. Vardi}, title = {A rewriting point of view on strategies}, booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR} 2013, Rome, Italy, March 16-17, 2013}, series = {{EPTCS}}, volume = {112}, pages = {99--105}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.112.15}, doi = {10.4204/EPTCS.112.15}, timestamp = {Sat, 30 Sep 2023 10:08:06 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-0796.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GnaedigK11, author = {Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Proving weak properties of rewriting}, journal = {Theor. Comput. Sci.}, volume = {412}, number = {34}, pages = {4405--4438}, year = {2011}, url = {https://doi.org/10.1016/j.tcs.2011.04.028}, doi = {10.1016/J.TCS.2011.04.028}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GnaedigK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/HuangK11, author = {Hejiao Huang and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {8}, number = {6}, pages = {852--865}, year = {2011}, url = {https://doi.org/10.1109/TDSC.2010.43}, doi = {10.1109/TDSC.2010.43}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/HuangK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fps/BourdierCJK11, author = {Tony Bourdier and Horatiu Cirstea and Mathieu Jaume and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and Pascal Lafourcade}, title = {Formal Specification and Validation of Security Policies}, booktitle = {Foundations and Practice of Security - 4th Canada-France {MITACS} Workshop, {FPS} 2011, Paris, France, May 12-13, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6888}, pages = {148--163}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-27901-0\_12}, doi = {10.1007/978-3-642-27901-0\_12}, timestamp = {Fri, 27 Dec 2019 21:23:06 +0100}, biburl = {https://dblp.org/rec/conf/fps/BourdierCJK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FernandezKN11, author = {Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Olivier Namet}, editor = {Germ{\'{a}}n Vidal}, title = {A Strategy Language for Graph Rewriting}, booktitle = {Logic-Based Program Synthesis and Transformation - 21st International Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7225}, pages = {173--188}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-32211-2\_12}, doi = {10.1007/978-3-642-32211-2\_12}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/FernandezKN11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1102-2654, author = {Oana Andrei and Maribel Fern{\'{a}}ndez and H{\'{e}}l{\`{e}}ne Kirchner and Guy Melan{\c{c}}on and Olivier Namet and Bruno Pinaud}, editor = {Rachid Echahed}, title = {{PORGY:} Strategy-Driven Interactive Transformation of Graphs}, booktitle = {Proceedings 6th International Workshop on Computing with Terms and Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April 2011}, series = {{EPTCS}}, volume = {48}, pages = {54--68}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.48.7}, doi = {10.4204/EPTCS.48.7}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-2654.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AndreiK13, author = {Oana Andrei and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Martin Fr{\"{a}}nzle and Antonios Tsourdos}, title = {Runtime Verification for Biochemical Programs}, booktitle = {Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, 2011}, series = {Electronic Notes in Theoretical Computer Science}, volume = {297}, pages = {27--46}, publisher = {Elsevier}, year = {2011}, url = {https://doi.org/10.1016/j.entcs.2013.12.003}, doi = {10.1016/J.ENTCS.2013.12.003}, timestamp = {Tue, 22 Nov 2022 14:18:54 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AndreiK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/TranRRK10, author = {Duc{-}Khanh Tran and Christophe Ringeissen and Silvio Ranise and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Combination of convex theories: Modularity, deduction completeness, and explanation}, journal = {J. Symb. Comput.}, volume = {45}, number = {2}, pages = {261--286}, year = {2010}, url = {https://doi.org/10.1016/j.jsc.2008.10.006}, doi = {10.1016/J.JSC.2008.10.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/TranRRK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/HurlinK10, author = {Cl{\'{e}}ment Hurlin and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Pierpaolo Degano and Sandro Etalle and Joshua D. Guttman}, title = {Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction}, booktitle = {Formal Aspects of Security and Trust - 7th International Workshop, {FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6561}, pages = {157--175}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-19751-2\_11}, doi = {10.1007/978-3-642-19751-2\_11}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/HurlinK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1012-5337, editor = {H{\'{e}}l{\`{e}}ne Kirchner and C{\'{e}}sar A. Mu{\~{n}}oz}, title = {Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010}, series = {{EPTCS}}, volume = {44}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.44}, doi = {10.4204/EPTCS.44}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-5337.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/NahonKKB09, author = {Fabrice Nahon and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Paul Brauner}, title = {Inductive proof search modulo}, journal = {Ann. Math. Artif. Intell.}, volume = {55}, number = {1-2}, pages = {123--154}, year = {2009}, url = {https://doi.org/10.1007/s10472-009-9154-5}, doi = {10.1007/S10472-009-9154-5}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/NahonKKB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsn/HuangKLW09, author = {Hejiao Huang and H{\'{e}}l{\`{e}}ne Kirchner and Songyun Liu and Weili Wu}, title = {Handling inheritance violation for secure interoperation of heterogeneous systems}, journal = {Int. J. Secur. Networks}, volume = {4}, number = {4}, pages = {223--233}, year = {2009}, url = {https://doi.org/10.1504/IJSN.2009.028669}, doi = {10.1504/IJSN.2009.028669}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijsn/HuangKLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GnaedigK09, author = {Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Termination of rewriting under strategies}, journal = {{ACM} Trans. Comput. Log.}, volume = {10}, number = {2}, pages = {10:1--10:52}, year = {2009}, url = {https://doi.org/10.1145/1462179.1462182}, doi = {10.1145/1462179.1462182}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/GnaedigK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/AndreiK09, author = {Oana Andrei and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Marina Lipshteyn and Vadim E. Levit and Ross M. McConnell}, title = {A Higher-Order Graph Calculus for Autonomic Computing}, booktitle = {Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5420}, pages = {15--26}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02029-2\_2}, doi = {10.1007/978-3-642-02029-2\_2}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/AndreiK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HuangK09, author = {Hejiao Huang and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Jens Palsberg}, title = {Component-Based Security Policy Design with Colored Petri Nets}, booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5700}, pages = {21--42}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04164-8\_3}, doi = {10.1007/978-3-642-04164-8\_3}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HuangK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/HuangK09, author = {Hejiao Huang and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Sheikh Iqbal Ahamed and Elisa Bertino and Carl K. Chang and Vladimir Getov and Lin Liu and Ming Hua and Rajesh Subramanyan}, title = {Policy Composition Based on Petri Nets}, booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2}, pages = {416--421}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/COMPSAC.2009.169}, doi = {10.1109/COMPSAC.2009.169}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/HuangK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wflp/KirchnerKK09, author = {Claude Kirchner and Florent Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Santiago Escobar}, title = {Constraint Based Strategies}, booktitle = {Functional and Constraint Logic Programming, 18th International Workshop, {WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5979}, pages = {13--26}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11999-6\_2}, doi = {10.1007/978-3-642-11999-6\_2}, timestamp = {Tue, 10 Nov 2020 12:25:00 +0100}, biburl = {https://dblp.org/rec/conf/wflp/KirchnerKK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1001-4427, author = {Tony Bourdier and Horatiu Cirstea and Daniel J. Dougherty and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Maribel Fern{\'{a}}ndez}, title = {Extensional and Intensional Strategies}, booktitle = {Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, {WRS} 2009, Brasilia, Brazil, 28th June 2009}, series = {{EPTCS}}, volume = {15}, pages = {1--19}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.15.1}, doi = {10.4204/EPTCS.15.1}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1001-4427.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AndreiK09, author = {Oana Andrei and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Andrea Corradini}, title = {A Port Graph Calculus for Autonomic Computing and Invariant Verification}, booktitle = {Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {4}, pages = {17--38}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.10.015}, doi = {10.1016/J.ENTCS.2009.10.015}, timestamp = {Fri, 24 Feb 2023 15:21:08 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AndreiK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KirchnerKO09, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Anderson Santana de Oliveira}, editor = {Daniel J. Dougherty and Santiago Escobar}, title = {Analysis of Rewrite-Based Access Control Policies}, booktitle = {Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {234}, pages = {55--75}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.02.072}, doi = {10.1016/J.ENTCS.2009.02.072}, timestamp = {Thu, 09 Mar 2023 12:59:09 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KirchnerKO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GnaedigK07, author = {Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Hubert Comon{-}Lundh and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations}, booktitle = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4600}, pages = {44--67}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73147-4\_3}, doi = {10.1007/978-3-540-73147-4\_3}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GnaedigK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/OliveiraWKK07, author = {Anderson Santana de Oliveira and Eric Ke Wang and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Peng Ning and Vijay Atluri and Virgil D. Gligor and Heiko Mantel}, title = {Weaving rewrite-based access control policies}, booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007}, pages = {71--80}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1314436.1314446}, doi = {10.1145/1314436.1314446}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/OliveiraWKK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/DoughertyKKO07, author = {Daniel J. Dougherty and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Anderson Santana de Oliveira}, editor = {Joachim Biskup and Javier L{\'{o}}pez}, title = {Modular Access Control Via Strategic Rewriting}, booktitle = {Computer Security - {ESORICS} 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4734}, pages = {578--593}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74835-9\_38}, doi = {10.1007/978-3-540-74835-9\_38}, timestamp = {Thu, 29 Aug 2019 08:09:59 +0200}, biburl = {https://dblp.org/rec/conf/esorics/DoughertyKKO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/AndreiK07, author = {Oana Andrei and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Viorel Negru and Tudor Jebelean and Dana Petcu and Daniela Zaharie}, title = {Graph Rewriting and Strategies for Modeling Biochemical Networks}, booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania, September 26-29, 2007}, pages = {407--414}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SYNASC.2007.44}, doi = {10.1109/SYNASC.2007.44}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/AndreiK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AndreiK08, author = {Oana Andrei and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Joost Visser and Victor Winter}, title = {A Rewriting Calculus for Multigraphs with Ports}, booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {219}, pages = {67--82}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.10.035}, doi = {10.1016/J.ENTCS.2008.10.035}, timestamp = {Fri, 17 Feb 2023 10:42:59 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AndreiK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2007jouannaud, editor = {Hubert Comon{-}Lundh and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4600}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73147-4}, doi = {10.1007/978-3-540-73147-4}, isbn = {978-3-540-73146-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2007jouannaud.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/AndreiIK06, author = {Oana Andrei and Liliana Ibanescu and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, title = {Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application}, booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4060}, pages = {194--215}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780274\_11}, doi = {10.1007/11780274\_11}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/AndreiIK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KirchnerRRT06, author = {H{\'{e}}l{\`{e}}ne Kirchner and Silvio Ranise and Christophe Ringeissen and Duc{-}Khanh Tran}, editor = {Miki Hermann and Andrei Voronkov}, title = {Automatic Combinability of Rewriting-Based Satisfiability Procedures}, 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 = {542--556}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11916277\_37}, doi = {10.1007/11916277\_37}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/KirchnerRRT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/GnaedigK06, author = {Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Annalisa Bossi and Michael J. Maher}, title = {Computing constructor forms with non terminating rewrite programs}, booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy}, pages = {121--132}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1140335.1140351}, doi = {10.1145/1140335.1140351}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/GnaedigK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/KirchnerRRT05, author = {H{\'{e}}l{\`{e}}ne Kirchner and Silvio Ranise and Christophe Ringeissen and Duc{-}Khanh Tran}, editor = {Dang Van Hung and Martin Wirsing}, title = {On Superposition-Based Satisfiability Procedures and Their Combination}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3722}, pages = {594--608}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11560647\_39}, doi = {10.1007/11560647\_39}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/KirchnerRRT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wwv/KirchnerKS05, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Anderson Santana}, editor = {Mar{\'{\i}}a Alpuente and Santiago Escobar and Moreno Falaschi}, title = {Anchoring modularity in {HTML}}, booktitle = {First International Workshop on Automated Specification and Verification of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain}, volume = {{DSIC-II/03/05}}, pages = {139--151}, publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia}, year = {2005}, timestamp = {Tue, 10 Nov 2020 12:25:00 +0100}, biburl = {https://dblp.org/rec/conf/wwv/KirchnerKS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BournezIK06, author = {Olivier Bournez and Liliana Ibanescu and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Horatiu Cirstea and Narciso Mart{\'{\i}}{-}Oliet}, title = {From Chemical Rules to Term Rewriting}, booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {147}, number = {1}, pages = {113--134}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.06.040}, doi = {10.1016/J.ENTCS.2005.06.040}, timestamp = {Thu, 15 Dec 2022 15:09:06 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BournezIK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KirchnerKS06, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Anderson Santana}, editor = {Mar{\'{\i}}a Alpuente and Santiago Escobar and Moreno Falaschi}, title = {Anchoring Modularity in {HTML}}, booktitle = {Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March 14-15, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {157}, number = {2}, pages = {133--146}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.051}, doi = {10.1016/J.ENTCS.2005.12.051}, timestamp = {Fri, 20 Jan 2023 11:40:19 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KirchnerKS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0507064, author = {Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Termination of rewriting strategies: a generic approach}, journal = {CoRR}, volume = {abs/cs/0507064}, year = {2005}, url = {http://arxiv.org/abs/cs/0507064}, eprinttype = {arXiv}, eprint = {cs/0507064}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507064.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/KirchnerK04, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Michael J. Maher}, title = {Rule-Based Programming and Proving: The {ELAN} Experience Outcomes}, booktitle = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3321}, pages = {363--379}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30502-6\_27}, doi = {10.1007/978-3-540-30502-6\_27}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/KirchnerK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FissoreGK04, author = {Olivier Fissore and Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Zhiming Liu and Keijiro Araki}, title = {A Proof of Weak Termination Providing the Right Way to Terminate}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3407}, pages = {356--371}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31862-0\_26}, doi = {10.1007/978-3-540-31862-0\_26}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/FissoreGK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DeplagneKKN03, author = {Eric Deplagne and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Quang Huy Nguyen}, editor = {Franz Baader}, title = {Proof Search and Proof Check for Equational and Inductive Theorems}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {297--316}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_26}, doi = {10.1007/978-3-540-45085-6\_26}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/DeplagneKKN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccS/BournezCCKI03, author = {Olivier Bournez and Guy{-}Marie C{\^{o}}me and Val{\'{e}}rie Conraud and H{\'{e}}l{\`{e}}ne Kirchner and Liliana Ibanescu}, editor = {Peter M. A. Sloot and David Abramson and Alexander V. Bogdanov and Jack J. Dongarra and Albert Y. Zomaya and Yuri E. Gorbachev}, title = {Automated Generation of Kinetic Chemical Mechanisms Using Rewriting}, booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {2659}, pages = {367--376}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44863-2\_37}, doi = {10.1007/3-540-44863-2\_37}, timestamp = {Tue, 20 Jun 2023 16:27:45 +0200}, biburl = {https://dblp.org/rec/conf/iccS/BournezCCKI03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/FissoreGK03, author = {Olivier Fissore and Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Simplification and termination of strategies in rule-based languages}, booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}, pages = {124--135}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/888251.888264}, doi = {10.1145/888251.888264}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/FissoreGK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/BournezCCKI03, author = {Olivier Bournez and Guy{-}Marie C{\^{o}}me and Val{\'{e}}rie Conraud and H{\'{e}}l{\`{e}}ne Kirchner and Liliana Ibanescu}, editor = {Robert Nieuwenhuis}, title = {A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms}, booktitle = {Rewriting Techniques and Applications, 14th International Conference, {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2706}, pages = {30--45}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44881-0\_4}, doi = {10.1007/3-540-44881-0\_4}, timestamp = {Sun, 02 Oct 2022 16:14:20 +0200}, biburl = {https://dblp.org/rec/conf/rta/BournezCCKI03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/NguyenKK02, author = {Quang Huy Nguyen and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {External Rewriting for Skeptical Proof Assistants}, journal = {J. Autom. Reason.}, volume = {29}, number = {3-4}, pages = {309--336}, year = {2002}, url = {https://doi.org/10.1023/A:1021975117537}, doi = {10.1023/A:1021975117537}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/NguyenKK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BorovanskyKKM02, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau}, title = {{ELAN} from a rewriting logic point of view}, journal = {Theor. Comput. Sci.}, volume = {285}, number = {2}, pages = {155--185}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00358-9}, doi = {10.1016/S0304-3975(01)00358-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BorovanskyKKM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AstesianoBKKMST02, author = {Egidio Astesiano and Michel Bidoit and H{\'{e}}l{\`{e}}ne Kirchner and Bernd Krieg{-}Br{\"{u}}ckner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki}, title = {{CASL:} the Common Algebraic Specification Language}, journal = {Theor. Comput. Sci.}, volume = {286}, number = {2}, pages = {153--196}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(01)00368-1}, doi = {10.1016/S0304-3975(01)00368-1}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AstesianoBKKMST02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/FissoreGK02, author = {Olivier Fissore and Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, title = {System Presentation -- {CARIBOO:} An induction based proof tool for termination with strategies}, booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)}, pages = {62--73}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/571157.571164}, doi = {10.1145/571157.571164}, timestamp = {Tue, 06 Nov 2018 16:57:25 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/FissoreGK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FissoreGK02, author = {Olivier Fissore and Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Fabio Gadducci and Ugo Montanari}, title = {Outermost ground termination}, booktitle = {Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {71}, pages = {188--207}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)82535-6}, doi = {10.1016/S1571-0661(05)82535-6}, timestamp = {Wed, 07 Dec 2022 08:35:58 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FissoreGK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/amast/2002, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Algebraic Methodology and Software Technology, 9th International Conference, {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2422}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45719-4}, doi = {10.1007/3-540-45719-4}, isbn = {3-540-44144-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/BorovanskyKKR01, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Rewriting with Strategies in {ELAN:} {A} Functional Semantics}, journal = {Int. J. Found. Comput. Sci.}, volume = {12}, number = {1}, pages = {69--95}, year = {2001}, url = {https://doi.org/10.1142/S0129054101000412}, doi = {10.1142/S0129054101000412}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/BorovanskyKKR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/KirchnerM01, author = {H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau}, title = {Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories}, journal = {J. Funct. Program.}, volume = {11}, number = {2}, pages = {207--251}, year = {2001}, url = {https://doi.org/10.1017/s0956796800003907}, doi = {10.1017/S0956796800003907}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/KirchnerM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/KirchnerM01, author = {H{\'{e}}l{\`{e}}ne Kirchner and Peter D. Mosses}, title = {Algebraic Specifications, Higher-order Types and Set-theoretic Models}, journal = {J. Log. Comput.}, volume = {11}, number = {3}, pages = {453--481}, year = {2001}, url = {https://doi.org/10.1093/logcom/11.3.453}, doi = {10.1093/LOGCOM/11.3.453}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/KirchnerM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/FissoreGK01, author = {Olivier Fissore and Isabelle Gnaedig and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Maria Paola Bonacina and Bernhard Gramlich}, title = {Termination of Rewriting with Local Strategies}, booktitle = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES} 2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001, Selected Papers}, series = {Electronic Notes in Theoretical Computer Science}, volume = {58}, number = {2}, pages = {155--188}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00284-1}, doi = {10.1016/S1571-0661(04)00284-1}, timestamp = {Tue, 13 Dec 2022 13:31:33 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FissoreGK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/Kirchner00, author = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {Combining assisted and automated deduction}, journal = {Ann. Math. Artif. Intell.}, volume = {28}, number = {1-4}, pages = {21--26}, year = {2000}, url = {https://doi.org/10.1023/A:1018987702427}, doi = {10.1023/A:1018987702427}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/Kirchner00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/GramlichKP00, author = {Bernhard Gramlich and H{\'{e}}l{\`{e}}ne Kirchner and Frank Pfenning}, title = {Editorial: Strategies in Automated Deduction}, journal = {Ann. Math. Artif. Intell.}, volume = {29}, number = {1-4}, year = {2000}, url = {https://doi.org/10.1023/A:1016668707781}, doi = {10.1023/A:1016668707781}, timestamp = {Wed, 07 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/GramlichKP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KirchnerG00, author = {H{\'{e}}l{\`{e}}ne Kirchner and Isabelle Gnaedig}, editor = {Kokichi Futatsugi}, title = {Termination and normalisation under strategy Proofs in {ELAN}}, booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications, {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {36}, pages = {93--120}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80124-0}, doi = {10.1016/S1571-0661(05)80124-0}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KirchnerG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/frocos/2000, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1794}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10720084}, doi = {10.1007/10720084}, isbn = {3-540-67281-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compulog/DuboisK99, author = {Hubert Dubois and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Krzysztof R. Apt and Antonis C. Kakas and {\'{E}}ric Monfroy and Francesca Rossi}, title = {Rule Based Programming with Constraints and Strategies}, booktitle = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1865}, pages = {274--297}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-44654-0\_14}, doi = {10.1007/3-540-44654-0\_14}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/compulog/DuboisK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Kirchner99, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Fran{\c{c}}ois Fages}, title = {{ELAN}}, booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France}, pages = {241--248}, publisher = {Hermes}, year = {1999}, timestamp = {Tue, 30 Mar 2004 12:53:17 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Kirchner99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ifip/Kirchner99, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Egidio Astesiano and Hans{-}J{\"{o}}rg Kreowski and Bernd Krieg{-}Br{\"{u}}ckner}, title = {Term Rewriting}, booktitle = {Algebraic Foundations of Systems Specification}, series = {{IFIP} State-of-the-Art Reports}, pages = {273--320}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-59851-7\_9}, doi = {10.1007/978-3-642-59851-7\_9}, timestamp = {Tue, 16 May 2017 14:24:23 +0200}, biburl = {https://dblp.org/rec/series/ifip/Kirchner99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/HintermeierKK98, author = {Claus Hintermeier and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Dynamically Typed Computations for Order-Sorted Equational Presentations}, journal = {J. Symb. Comput.}, volume = {25}, number = {4}, pages = {455--526}, year = {1998}, url = {https://doi.org/10.1006/jsco.1997.0187}, doi = {10.1006/JSCO.1997.0187}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/HintermeierKK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/KirchnerM98, author = {H{\'{e}}l{\`{e}}ne Kirchner and Peter D. Mosses}, editor = {Armando Martin Haeberer}, title = {Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {373--388}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_27}, doi = {10.1007/3-540-49253-4\_27}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/KirchnerM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/BorovanskyKK98, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Masahiko Sato and Yoshihito Toyama}, title = {A Functional View of Rewriting and Strategies for a Semantics of {ELAN}}, booktitle = {Third Fuji International Symposium on Functional and Logic Programming, {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998}, pages = {143--166}, publisher = {World Scientific, Singapore}, year = {1998}, timestamp = {Tue, 30 Jul 2019 10:47:11 +0200}, biburl = {https://dblp.org/rec/conf/flops/BorovanskyKK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/MoreauK98, author = {Pierre{-}Etienne Moreau and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {A Compiler for Rewrite Programs in Associative-Commutative Theories}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {230--249}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056617}, doi = {10.1007/BFB0056617}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/MoreauK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/KirchnerM98, author = {H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau}, editor = {Jos{\'{e}} Luiz Fiadeiro}, title = {Non-deterministic Computations in {ELAN}}, booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {168--182}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48483-3\_12}, doi = {10.1007/3-540-48483-3\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/KirchnerM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BorovanskyKKMR98, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau and Christophe Ringeissen}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {An overview of {ELAN}}, booktitle = {1998 International Workshop on Rewriting Logic and its Applications, {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson, France, September 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {15}, pages = {55--70}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)82552-6}, doi = {10.1016/S1571-0661(05)82552-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KirchnerK98, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Preface}, booktitle = {1998 International Workshop on Rewriting Logic and its Applications, {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson, France, September 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {15}, pages = {367--368}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80022-2}, doi = {10.1016/S1571-0661(05)80022-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KirchnerK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/1998, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1421}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054239}, doi = {10.1007/BFB0054239}, isbn = {3-540-64675-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrla/1998, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {1998 International Workshop on Rewriting Logic and its Applications, {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson, France, September 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {15}, publisher = {Elsevier}, year = {1998}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/15/suppl/C}, timestamp = {Mon, 13 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wrla/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BorovanskyKKMV96, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau and Marian Vittek}, editor = {Jos{\'{e}} Meseguer}, title = {{ELAN:} {A} logical framework based on computational systems}, booktitle = {First International Workshop on Rewriting Logic and its Applications, {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996}, series = {Electronic Notes in Theoretical Computer Science}, volume = {4}, pages = {35--50}, publisher = {Elsevier}, year = {1996}, url = {https://doi.org/10.1016/S1571-0661(04)00032-5}, doi = {10.1016/S1571-0661(04)00032-5}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KirchnerM96, author = {H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau}, editor = {Jos{\'{e}} Meseguer}, title = {A reflective extension of {ELAN}}, booktitle = {First International Workshop on Rewriting Logic and its Applications, {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996}, series = {Electronic Notes in Theoretical Computer Science}, volume = {4}, pages = {149--168}, publisher = {Elsevier}, year = {1996}, url = {https://doi.org/10.1016/S1571-0661(04)00038-6}, doi = {10.1016/S1571-0661(04)00038-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KirchnerM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BorovanskyKK96, author = {Peter Borovansk{\'{y}} and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Jos{\'{e}} Meseguer}, title = {Controlling rewriting by rewriting}, booktitle = {First International Workshop on Rewriting Logic and its Applications, {RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996}, series = {Electronic Notes in Theoretical Computer Science}, volume = {4}, pages = {169--189}, publisher = {Elsevier}, year = {1996}, url = {https://doi.org/10.1016/S1571-0661(04)00039-8}, doi = {10.1016/S1571-0661(04)00039-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/caap/1996, editor = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1059}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61064-2}, doi = {10.1007/3-540-61064-2}, isbn = {3-540-61064-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caap/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/HintermaierKM95, author = {Claus Hintermeier and H{\'{e}}l{\`{e}}ne Kirchner and Peter D. Mosses}, editor = {Magne Haveraaen and Olaf Owe and Ole{-}Johan Dahl}, title = {Combining Algebraic and Set-Theoretic Specifications}, booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1130}, pages = {255--273}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61629-2\_47}, doi = {10.1007/3-540-61629-2\_47}, timestamp = {Sat, 30 Sep 2023 09:37:34 +0200}, biburl = {https://dblp.org/rec/conf/compass/HintermaierKM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hoa/HintermeierKM95, author = {Claus Hintermeier and H{\'{e}}l{\`{e}}ne Kirchner and Peter D. Mosses}, editor = {Gilles Dowek and Jan Heering and Karl Meinke and Bernhard M{\"{o}}ller}, title = {R\({}^{\mbox{n}}\)- and G\({}^{\mbox{n}}\)-Logics}, booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1074}, pages = {90--108}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61254-8\_21}, doi = {10.1007/3-540-61254-8\_21}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/hoa/HintermeierKM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/KirchnerM95, author = {H{\'{e}}l{\`{e}}ne Kirchner and Pierre{-}Etienne Moreau}, editor = {Jieh Hsiang}, title = {Prototyping Completion with Constraints Using Computational Systems}, booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {914}, pages = {438--443}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59200-8\_79}, doi = {10.1007/3-540-59200-8\_79}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/KirchnerM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/KirchnerR94, author = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {Combining Symbolic Constraint Solvers on Algebraic Domains}, journal = {J. Symb. Comput.}, volume = {18}, number = {2}, pages = {113--155}, year = {1994}, url = {https://doi.org/10.1006/jsco.1994.1040}, doi = {10.1006/JSCO.1994.1040}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/KirchnerR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/HintermeierKK94, author = {Claus Hintermeier and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Egidio Astesiano and Gianna Reggio and Andrzej Tarlecki}, title = {Sort Inheritance for Order-Sorted Equational Presentations}, booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {906}, pages = {319--335}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0014436}, doi = {10.1007/BFB0014436}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/compass/HintermeierKK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HintermeierKK94, author = {Claus Hintermeier and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Serge Abiteboul and Eli Shamir}, title = {Dynamically-Typed Computations for Order-Sorted Equational Presentations}, booktitle = {Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {820}, pages = {450--461}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58201-0\_89}, doi = {10.1007/3-540-58201-0\_89}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/HintermeierKK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KirchnerR94, author = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, editor = {Pascal Van Hentenryck}, title = {Constraint Solving by Narrowing in Combined Algebraic Domains}, booktitle = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994}, pages = {617--631}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KirchnerR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/lncs/Kirchner94, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Andreas Podelski}, title = {On the Use of Constraints in Automated Deduction}, booktitle = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {910}, pages = {128--146}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59155-9\_8}, doi = {10.1007/3-540-59155-9\_8}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/journals/lncs/Kirchner94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/Kirchner93, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Hubert Comon and Jean{-}Pierre Jouannaud}, title = {Some Extensions of Rewriting}, booktitle = {Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course}, series = {Lecture Notes in Computer Science}, volume = {909}, pages = {54--73}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-59340-3\_5}, doi = {10.1007/3-540-59340-3\_5}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/Kirchner93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppcp/KirchnerKV93, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Marian Vittek}, title = {Implementing Computational Systems with Constraints}, booktitle = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport, Rhode Island}, pages = {156--165}, year = {1993}, timestamp = {Fri, 09 Aug 2019 11:23:42 +0200}, biburl = {https://dblp.org/rec/conf/ppcp/KirchnerKV93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/JouannaudKKM92, author = {Jean{-}Pierre Jouannaud and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Aristide M{\'{e}}grelis}, title = {Programming with Equalitiers, Subsorts, Overloading and Parametrization in {OBJ}}, journal = {J. Log. Program.}, volume = {12}, number = {3{\&}4}, pages = {257--279}, year = {1992}, url = {https://doi.org/10.1016/0743-1066(92)90027-Z}, doi = {10.1016/0743-1066(92)90027-Z}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/JouannaudKKM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HsiangKLR92, author = {Jieh Hsiang and H{\'{e}}l{\`{e}}ne Kirchner and Pierre Lescanne and Micha{\"{e}}l Rusinowitch}, title = {The Term Rewriting Approach to Automated Theorem Proving}, journal = {J. Log. Program.}, volume = {14}, number = {1{\&}2}, pages = {71--99}, year = {1992}, url = {https://doi.org/10.1016/0743-1066(92)90047-7}, doi = {10.1016/0743-1066(92)90047-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HsiangKLR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Kirchner92, author = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {To Prof. Dr. Wolfgang Wechler}, journal = {Theor. Comput. Sci.}, volume = {105}, number = {1}, pages = {4--5}, year = {1992}, url = {https://doi.org/10.1016/0304-3975(92)90284-M}, doi = {10.1016/0304-3975(92)90284-M}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Kirchner92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KirchnerR92, author = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, editor = {Krzysztof R. Apt}, title = {A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms}, booktitle = {Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC, USA, November 1992}, pages = {225--239}, publisher = {{MIT} Press}, year = {1992}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KirchnerR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alp/1992, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Giorgio Levi}, title = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {632}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0013814}, doi = {10.1007/BFB0013814}, isbn = {3-540-55873-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alp/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/HermannKK91, author = {Miki Hermann and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Implementations of Term Rewriting Systems}, journal = {Comput. J.}, volume = {34}, number = {1}, pages = {20--33}, year = {1991}, url = {https://doi.org/10.1093/comjnl/34.1.20}, doi = {10.1093/COMJNL/34.1.20}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/HermannKK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/KirchnerL91, author = {H{\'{e}}l{\`{e}}ne Kirchner and Pierre Lescanne}, title = {Rewriting techniques and applications, RTA'91}, journal = {{SIGACT} News}, volume = {22}, number = {3}, pages = {24--30}, year = {1991}, url = {https://doi.org/10.1145/126537.126539}, doi = {10.1145/126537.126539}, timestamp = {Tue, 28 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigact/KirchnerL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Kirchner91, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Ronald V. Book}, title = {Proofs in Parameterized Specification}, booktitle = {Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {488}, pages = {174--187}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53904-2\_95}, doi = {10.1007/3-540-53904-2\_95}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Kirchner91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GnaedigKK90, author = {Isabelle Gnaedig and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Equational Completion in Order-Sorted Algebras}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {169--202}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90034-F}, doi = {10.1016/0304-3975(90)90034-F}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GnaedigKK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctrs/KirchnerH90, author = {H{\'{e}}l{\`{e}}ne Kirchner and Miki Hermann}, editor = {St{\'{e}}phane Kaplan and Mitsuhiro Okada}, title = {Meta-rule Synthesis from Crossed Rewrite Systems}, booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS} Workshop, Montreal, Canada, June 11-14, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {516}, pages = {143--154}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-54317-1\_87}, doi = {10.1007/3-540-54317-1\_87}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ctrs/KirchnerH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alp/1990, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Wolfgang Wechler}, title = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {463}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53162-9}, doi = {10.1007/3-540-53162-9}, isbn = {3-540-53162-9}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alp/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Kirchner89, author = {H{\'{e}}l{\`{e}}ne Kirchner}, title = {Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes}, journal = {Theor. Comput. Sci.}, volume = {67}, number = {2{\&}3}, pages = {303--332}, year = {1989}, url = {https://doi.org/10.1016/0304-3975(89)90007-8}, doi = {10.1016/0304-3975(89)90007-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Kirchner89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/KirchnerK89, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Gaston H. Gonnet}, title = {Constrained Equational Reasoning}, booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July 17-19, 1989}, pages = {382--389}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/74540.74585}, doi = {10.1145/74540.74585}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issac/KirchnerK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/JouannaudKKM88, author = {Jean{-}Pierre Jouannaud and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Aristide M{\'{e}}grelis}, editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler}, title = {{OBJ:} Programming with Equalities, Subsorts, Overloading and Parameterization}, booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {343}, pages = {41--52}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50667-5\_57}, doi = {10.1007/3-540-50667-5\_57}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/JouannaudKKM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/GnaedigKK88, author = {Isabelle Gnaedig and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Max Dauchet and Maurice Nivat}, title = {Equational Completion in Order-Sorted Algebras (Extended Abstract)}, booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {299}, pages = {165--184}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0026103}, doi = {10.1007/BFB0026103}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/GnaedigKK88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KirchnerKM88, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Jos{\'{e}} Meseguer}, editor = {Timo Lepist{\"{o}} and Arto Salomaa}, title = {Operational Semantics of {OBJ-3} (Extended Abstract)}, booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {287--301}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-19488-6\_123}, doi = {10.1007/3-540-19488-6\_123}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KirchnerKM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KirchnerK87, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {{REVEUR-3:} The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies}, journal = {Sci. Comput. Program.}, volume = {8}, number = {1}, pages = {69--86}, year = {1987}, url = {https://doi.org/10.1016/0167-6423(87)90004-9}, doi = {10.1016/0167-6423(87)90004-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KirchnerK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctrs/GoguenKKMMW87, author = {Joseph A. Goguen and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Aristide M{\'{e}}grelis and Jos{\'{e}} Meseguer and Timothy C. Winkler}, editor = {St{\'{e}}phane Kaplan and Jean{-}Pierre Jouannaud}, title = {An Introduction to {OBJ} 3}, booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {308}, pages = {258--263}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19242-5\_22}, doi = {10.1007/3-540-19242-5\_22}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ctrs/GoguenKKMMW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Kirchner87, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Pierre Lescanne}, title = {Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes}, booktitle = {Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {256}, pages = {180--191}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17220-3\_16}, doi = {10.1007/3-540-17220-3\_16}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Kirchner87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/JouannaudK86, author = {Jean{-}Pierre Jouannaud and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Completion of a Set of Rules Modulo a Set of Equations}, journal = {{SIAM} J. Comput.}, volume = {15}, number = {4}, pages = {1155--1194}, year = {1986}, url = {https://doi.org/10.1137/0215084}, doi = {10.1137/0215084}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/JouannaudK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/KirchnerK85, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Bob F. Caviness}, title = {Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {402--404}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_296}, doi = {10.1007/3-540-15984-3\_296}, timestamp = {Tue, 29 Aug 2023 20:47:14 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/KirchnerK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/RetyKKL85, author = {Pierre R{\'{e}}ty and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Pierre Lescanne}, editor = {Jean{-}Pierre Jouannaud}, title = {{NARROWER:} {A} New Algorithm for Unification and Its Application to Logic Programming}, booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {202}, pages = {141--157}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15976-2\_7}, doi = {10.1007/3-540-15976-2\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/RetyKKL85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/JouannaudK84, author = {Jean{-}Pierre Jouannaud and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Construction D'un Plus Petit Odre de Simplification}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {18}, number = {3}, pages = {191--208}, year = {1984}, url = {https://doi.org/10.1051/ita/1984180301911}, doi = {10.1051/ITA/1984180301911}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/JouannaudK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Kirchner84a, author = {H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Robert E. Shostak}, title = {A General Inductive Completion Algorithm and Application to Abstract Data Types}, booktitle = {7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {170}, pages = {282--302}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/978-0-387-34768-4\_17}, doi = {10.1007/978-0-387-34768-4\_17}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Kirchner84a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/JouannaudK84, author = {Jean{-}Pierre Jouannaud and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Ken Kennedy and Mary S. Van Deusen and Larry Landweber}, title = {Completion of a Set of Rules Modulo a Set of Equations}, booktitle = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984}, pages = {83--92}, publisher = {{ACM} Press}, year = {1984}, url = {https://doi.org/10.1145/800017.800519}, doi = {10.1145/800017.800519}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/JouannaudK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JouannaudKK83, author = {Jean{-}Pierre Jouannaud and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Josep D{\'{\i}}az}, title = {Incremental Construction of Unification Algorithms in Equational Theories}, booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {154}, pages = {361--373}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/BFb0036921}, doi = {10.1007/BFB0036921}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JouannaudKK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/JouannaudKR83, author = {Jean{-}Pierre Jouannaud and H{\'{e}}l{\`{e}}ne Kirchner and Jean{-}Luc R{\'{e}}my}, editor = {Alan Bundy}, title = {Church-Rosser Properties of Weakly Terminating Term Rewriting Systems}, booktitle = {Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983}, pages = {909--915}, publisher = {William Kaufmann}, year = {1983}, url = {http://ijcai.org/Proceedings/83-2/Papers/070.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:54 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/JouannaudKR83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KirchnerKJ81, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Jean{-}Pierre Jouannaud}, editor = {Patrick J. Hayes}, title = {Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees}, booktitle = {Proceedings of the 7th International Joint Conference on Artificial Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981}, pages = {1016--1023}, publisher = {William Kaufmann}, year = {1981}, timestamp = {Tue, 20 Aug 2019 16:16:26 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KirchnerKJ81.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.