contejean.bib
@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: /usr/bin/bib2bib --remove topics --remove x-type --remove x-equipes --remove x-support --remove x-international-audience --remove x-proceedings --remove x-cle-support --remove x-editorial-board --remove clef_labo --remove type_digiteo --remove type_publi -oc contejean.cite -ob contejean.bib -c 'author : "contejean" and topics : "team"' /home/contejea/utils/biblio/abbrevs.bib /home/contejea/utils/biblio/demons.bib /home/contejea/utils/biblio/demons2.bib /home/contejea/utils/biblio/demons3.bib /home/contejea/utils/biblio/team.bib /home/contejea/utils/biblio/crossrefs.bib /home/contejea/utils/biblio/crossrefs2.bib}}
@inproceedings{ajili95cp,
author = {Ajili, Farid and Contejean, Evelyne},
title = {Complete Solving of Linear Diophantine Equations and
Inequations without adding Variables},
crossref = {cp95},
pages = {1--17},
abstract = {http://www.lri.fr/~contejea/publis/1995cp/abstract.html},
doi = {http://dx.doi.org/10.1007/3-540-60299-2_1}
}
@article{ajili97tcs,
author = {Ajili, Farid and Contejean, Evelyne},
title = {Avoiding Slack Variables in the Solving of Linear
Diophantine Equations and Inequations},
journal = {Theoretical Computer Science},
year = 1997,
volume = 173,
number = 1,
month = feb,
pages = {183--208},
editor = {U. Montanari and F. Rossi},
abstract = {http://www.lri.fr/~contejea/publis/1997tcs/abstract.html},
annote = {Special Issue of TCS dedicated to a refereed
selection of papers presented at CP'95},
doi = {http://dx.doi.org/10.1016/S0304-3975(96)00195-8}
}
@inproceedings{beldiceanu93,
author = {Nicolas Beldiceanu and Evelyne Contejean and
Helmut Simonis},
location = {EC},
title = {Integrating an algorithm for solving linear constraints
in finite domains in the language {CHIP}},
booktitle = {Proc. 4th Workshop on Constraint Logic Programming},
month = mar,
year = 1993,
abstract = {http://www.lri.fr/~contejea/publis/1993wclp/abstract.html}
}
@article{beldiceanu94jmcm,
author = {Nicolas Beldiceanu and Evelyne Contejean},
title = {Introducing global constraints in {CHIP}},
journal = {Journal of {M}athematical and Computer Modelling},
year = 1994,
volume = 20,
number = 12,
pages = {97--123},
location = {biblio-equipe},
abstract = {http://www.lri.fr/~contejea/publis/1994jmcm/abstract.html},
doi = {http://dx.doi.org/10.1016/0895-7177(94)90127-9}
}
@inproceedings{beldiceanu98informs,
author = {Nicolas Beldiceanu and Eric Bourreau and Evelyne Contejean},
title = {Solving a Hard Vehicle Routing \& Loading Problem},
booktitle = {Proceedings of the Spring Meeting of the Institute for
Operations Research and the Management Sciences},
year = 1998,
address = {Montreal},
month = apr,
abstract = {http://www.lri.fr/~contejea/publis/1998informs/abstract.html}
}
@inproceedings{boudet90lics,
author = {Alexandre Boudet and Evelyne Contejean and
Herv{\'e} Devie},
title = {A new {AC}-unification algorithm with a new
algorithm for solving diophantine equations},
crossref = {lics90},
pages = {289--299},
abstract = {http://www.lri.fr/~contejea/publis/1990lics/abstract.html},
doi = {http://dx.doi.org/10.1109/LICS.1990.113755}
}
@inproceedings{boudet92alp,
author = {Alexandre Boudet and Evelyne Contejean},
title = {On $n$-syntactic equational theories},
pages = {446--457},
crossref = {alp92},
abstract = {http://www.lri.fr/~contejea/publis/1992alp/abstract.html},
doi = {http://dx.doi.org/10.1007/BFb0013843}
}
@inproceedings{boudet94ccl,
author = {Alexandre Boudet and Evelyne Contejean},
title = {``{S}yntactic'' {AC}-Unification},
pages = {136--151},
crossref = {ccl94},
abstract = {http://www.lri.fr/~contejea/publis/1994ccl/abstract.html},
doi = {http://dx.doi.org/10.1007/BFb0016849}
}
@inproceedings{boudet96rta,
author = {Alexandre Boudet and Evelyne Contejean and Claude
March{\'e}},
title = {{AC}-complete unification and its application to
theorem proving},
crossref = {rta96},
pages = {18--32},
abstract = {http://www.lri.fr/~contejea/publis/1996rta/abstract.html},
doi = {http://dx.doi.org/10.1007/3-540-61464-8_40}
}
@inproceedings{boudet97cp,
author = {Alexandre Boudet and Evelyne Contejean},
title = {{AC}-Unification of Higher-order Patterns},
crossref = {cp97},
abstract = {http://www.lri.fr/~contejea/publis/1997cp/abstract.html},
doi = {http://dx.doi.org/10.1007/BFb0017445},
pages = {267--281}
}
@inproceedings{boudet98cade,
author = {Alexandre Boudet and Evelyne Contejean},
title = {{About the Confluence of Equational Pattern Rewrite
Systems}},
crossref = {cade98},
pages = {88--102},
doi = {http://dx.doi.org/10.1007/BFb0054250},
abstract = {http://www.lri.fr/~contejea/publis/1998cade/abstract.html}
}
@misc{contejean88,
author = {Evelyne Contejean},
location = {Evelyne},
title = {Unification associative-commutative},
howpublished = {M{\'e}moire de DEA , Universit{\'e} de Paris Sud, Orsay},
year = 1988
}
@inproceedings{contejean89,
author = {Evelyne Contejean and Herv{\'e} Devie},
title = {Solving systems of linear Diophantine equations},
booktitle = {Proc. 3rd Workshop on Unification, Lambrecht, Germany},
year = 1989,
month = jun,
publisher = {University of Kaiserslautern}
}
@article{contejean91,
author = {Evelyne Contejean and Herv{\'e} Devie},
location = {HC 388},
title = {R{\'e}solution de syst{\`e}mes lin{\'e}aires
d'{\'e}quations diophantiennes},
journal = {Comptes-Rendus de l'Acad{\'e}mie des Sciences de Paris},
year = 1991,
volume = 313,
note = {S{\'e}rie I},
pages = {115-120},
abstract = {http://www.lri.fr/~contejea/publis/1991cras/abstract.html}
}
@phdthesis{contejean92these,
author = {Evelyne Contejean},
title = {{\'E}l{\'e}ments pour la D{\'e}cidabilit{\'e} de
l'Unification modulo la Distributivit{\'e}},
school = {Universit{\'e} Paris-Sud},
year = 1992,
address = {Orsay, France},
month = apr,
type = {Th{\`e}se de Doctorat}
}
@inproceedings{contejean93icalp,
author = {Evelyne Contejean},
title = {A Partial Solution for {D}-unification based on a Reduction
to {AC1}-unification},
pages = {621--632},
crossref = {icalp93},
year = 1993,
abstract = {http://www.lri.fr/~contejea/publis/1993icalp/abstract.html},
doi = {http://dx.doi.org/10.1007/3-540-56939-1_107}
}
@inproceedings{contejean93iclp,
author = {Evelyne Contejean},
title = {Solving Linear Diophantine Constraints Incrementally},
crossref = {iclp93},
pages = {532--549},
abstract = {http://www.lri.fr/~contejea/publis/1993iclp/abstract.html},
url = {http://cisnet.mit.edu/Logic-Programming-10th-International-Conference}
}
@article{contejean93jsc,
author = {Evelyne Contejean},
title = {Solving {$*$}-problems modulo Distributivity by a
Reduction to {$AC1$}-unification},
journal = {Journal of Symbolic Computation},
year = 1993,
volume = 16,
number = 5,
pages = {493-52},
abstract = {http://www.lri.fr/~contejea/publis/1993jsc/abstract.html},
doi = {http://dx.doi.org/10.1006/jsco.1993.1060}
}
@article{contejean94ic,
author = {Evelyne Contejean and Herv{\'e} Devie},
title = {An Efficient Algorithm for Solving Systems of Diophantine
Equations},
journal = {Information and Computation},
year = 1994,
volume = 113,
number = 1,
month = aug,
pages = {143--172},
abstract = {http://www.lri.fr/~contejea/publis/1994ic/abstract.html},
doi = {http://dx.doi.org/10.1006/inco.1994.1067}
}
@inproceedings{contejean96rta,
author = {Evelyne Contejean and Claude March{\'e}},
title = {{CiME: Completion Modulo $E$}},
crossref = {rta96},
pages = {416--419},
note = {System Description available at \url{http://cime.lri.fr/}},
abstract = {http://www.lri.fr/~contejea/publis/1996rta_b/abstract.html},
url = {http://cime.lri.fr/},
doi = {http://dx.doi.org/10.1007/3-540-61464-8_70}
}
@inproceedings{contejean97rta,
author = {Evelyne Contejean and Claude March{\'e} and Landy Rabehasaina},
title = {Rewrite systems for natural, integral, and rational
arithmetic},
pages = {98-112},
crossref = {rta97},
doi = {http://dx.doi.org/10.1007/3-540-62950-5_64},
abstract = {http://www.lri.fr/~contejea/publis/1997rta/abstract.html}
}
@inproceedings{boudet01rta,
author = {Alexandre Boudet and Evelyne Contejean},
title = {{Combining Pattern $E$-unification Algorithms}},
crossref = {rta01},
pages = {63--76},
doi = {http://dx.doi.org/10.1007/3-540-45127-7_7},
abstract = {http://www.lri.fr/~contejea/publis/2001rta/abstract.html}
}
@misc{cime2,
author = {Evelyne Contejean and Claude March{\'e} and
Benjamin Monate and Xavier Urbain},
title = {{CiME version 2}},
note = {Available at
\url{http://cime.lri.fr/}},
year = 2000,
url = {http://cime.lri.fr/}
}
@techreport{conchon10rr,
author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
title = {{Canonized Rewriting and Ground AC Completion Modulo Shostak Theories}},
institution = {{LRI, Universit\'e Paris Sud}},
year = 2010,
type = {Research Report},
number = 1538,
month = dec,
x-pdf = {http://www.lri.fr/~bibli/Rapports-internes/2010/RR1538.pdf},
abstract = {http://www.lri.fr/~contejea/publis/rr1538/abstract.html}
}
@inproceedings{conchon11tacas,
author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
title = {{Canonized Rewriting and Ground AC Completion Modulo Shostak Theories}},
crossref = {tacas2011},
pages = {45-59},
doi = {http://dx.doi.org/10.1007/978-3-642-19835-9_6},
abstract = {http://www.lri.fr/~contejea/publis/2011tacas/abstract.html}
}
@inproceedings{conchon10lpar,
author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
title = {{Ground Associative and Commutative Completion Modulo Shostak Theories}},
booktitle = {LPAR, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
year = 2010,
editor = {Andrei Voronkov},
series = {EasyChair Proceedings},
address = {Yogyakarta, Indonesia},
month = oct,
note = {(short paper)}
}
@inproceedings{conchon07afm,
author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig and St{\'e}phane Lescuyer},
title = {{Lightweight Integration of the Ergo Theorem Prover inside a Proof Assistant}},
crossref = {afm07},
abstract = {http://www.lri.fr/~contejea/publis/2007afm/abstract.html},
x-pdf = {http://fm.csl.sri.com/AFM07/afm07-preprint.pdf},
doi = {http://dx.doi.org/10.1145/1345169.1345176},
pages = {55--59}
}
@inproceedings{conchon07smt,
author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig},
title = {{CC(X)}: Efficiently Combining Equality and Solvable Theories without Canonizers},
booktitle = {SMT 2007: 5th International Workshop on Satisfiability Modulo},
year = 2007,
editor = {Sava Krstic and Albert Oliveras}
}
@inproceedings{conchon08smt,
author = {Fran\c{c}ois Bobot and Sylvain Conchon and \'Evelyne Contejean
and St\'ephane Lescuyer},
title = {{Implementing Polymorphism in SMT solvers}},
booktitle = {SMT 2008: 6th International Workshop on Satisfiability Modulo},
pages = {1--5},
year = 2008,
editor = {Clark Barrett and Leonardo de Moura},
volume = 367,
series = {ACM International Conference Proceedings Series},
isbn = {978-1-60558-440-9},
doi = {http://dx.doi.org/10.1145/1512464.1512466},
abstract = {http://www.lri.fr/~contejea/publis/2008smt/abstract.html}
}
@inproceedings{conchon08entcs,
author = {Sylvain Conchon and \'Evelyne Contejean and Johannes Kanig and St\'ephane Lescuyer},
title = {{CC(X)}: Semantical Combination of Congruence Closure with
Solvable Theories},
booktitle = {Post-proceedings of the 5th International Workshop on
Satisfiability Modulo Theories ({SMT 2007})},
series = {Electronic Notes in Computer Science},
publisher = {Elsevier Science Publishers},
volume = {198(2)},
pages = {51--69},
year = 2008,
abstract = {http://www.lri.fr/~contejea/publis/2008entcs/abstract.html},
doi = {http://dx.doi.org/10.1016/j.entcs.2008.04.080}
}
@inproceedings{contejean00rta,
author = {\'Evelyne Contejean and Antoine Coste and Benjamin Monate},
title = {Rewriting Techniques in Theoretical Physics},
crossref = {rta00},
pages = {80--94},
year = 2000,
doi = {http://dx.doi.org/10.1007/10721975_6},
abstract = {http://www.lri.fr/~contejea/publis/2000rta/abstract.html}
}
@inproceedings{contejean01symcon,
author = {\'Evelyne Contejean and Ana Paula Tomas},
title = {{On Symmetries in Systems Coming from AC-Unification of
Higher-Order Patterns}},
booktitle = {{SymCon'01, Symmetry in Constraints}},
year = 2001,
editor = {Pierre Flener and Justin Pearson},
address = {Paphos, Cyprus},
month = {December}
}
@inproceedings{contejean03wst,
author = {\'Evelyne Contejean and Claude March{\'e} and Benjamin Monate and Xavier Urbain},
title = {{Proving Termination of Rewriting with {\sc C\textit{i}ME}}},
crossref = {wst03},
pages = {71--73},
year = 2003,
url = {http://cime.lri.fr}
}
@techreport{contejean04rr,
author = {\'Evelyne Contejean and Claude March{\'e} and Ana-Paula Tom{\'a}s and Xavier Urbain},
title = {Mechanically proving termination using polynomial interpretations},
institution = {LRI},
year = {2004},
type = {Research Report},
number = {1382},
url = {http://www.lri.fr/~urbain/textes/rr1382.ps.gz}
}
@inproceedings{contejean04rta,
author = {\'Evelyne Contejean},
title = {{A certified AC matching algorithm}},
booktitle = {15th International Conference on Rewriting Techniques and Applications},
crossref = {rta04},
pages = {70--84},
year = 2004,
doi = {http://dx.doi.org/10.1007/978-3-540-25979-4_5},
abstract = {http://www.lri.fr/~contejea/publis/2004rta/abstract.html}
}
@inproceedings{contejean05cade,
author = {\'Evelyne Contejean and Pierre Corbineau},
title = {Reflecting Proofs in First-Order Logic with Equality},
pages = {7--22},
crossref = {cade05},
abstract = {http://www.lri.fr/~contejea/publis/2005cade/abstract.html},
doi = {http://dx.doi.org/10.1007/11532231_2}
}
@article{contejean05jar,
author = {\'Evelyne Contejean and Claude March{\'e} and Ana Paula Tom{\'a}s and Xavier Urbain},
title = {Mechanically proving termination using polynomial
interpretations},
journal = {Journal of Automated Reasoning},
volume = {34},
number = {4},
pages = {325--363},
year = 2005,
doi = {http://dx.doi.org/10.1007/s10817-005-9022-x},
abstract = {http://www.lri.fr/~contejea/publis/2005jar/abstract.html}
}
@inproceedings{contejean07frocos,
author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
title = {Certification of automated termination proofs},
crossref = {frocos07},
pages = {148--162},
doi = {http://dx.doi.org/10.1007/978-3-540-74621-8_10},
abstract = {http://www.lri.fr/~contejea/publis/2007frocos/abstract.html}
}
@incollection{contejean07jpj,
author = {\'Evelyne Contejean},
title = {Modelling permutations in {Coq} for {Coccinelle}},
crossref = {jpj07},
pages = {259--269},
doi = {http://dx.doi.org/10.1007/978-3-540-73147-4_13},
abstract = {http://www.lri.fr/~contejea/publis/2007jpj/abstract.html}
}
@inproceedings{contejean08wsct,
author = {\'Evelyne Contejean and Xavier Urbain},
title = {{The A3PAT approach}},
booktitle = { Workshop on Certified Termination WScT08},
year = 2008,
address = {Leipzig, Germany},
month = may
}
@inproceedings{contejean08types,
author = {\'Evelyne Contejean},
title = {{Coccinelle, a Coq library for rewriting}},
booktitle = {Types},
year = 2008,
address = {Torino, Italy},
month = mar
}
@misc{cime3,
author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
title = {{CiME3}},
year = 2007,
url = {{http://cime.lri.fr}},
note = {\url{http://cime.lri.fr}}
}
@inproceedings{contejean10pepm,
author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Andrei Paskevich and Olivier Pons and Xavier Urbain},
title = {{A3PAT, an Approach for Certified Automated Termination Proofs}},
crossref = {pepm10},
booktitle = {Partial Evaluation and Program Manipulation},
year = 2010,
month = jan,
pages = {63-72},
doi = {http://doi.acm.org/10.1145/1706356.1706370},
abstract = {http://www.lri.fr/~contejea/publis/2010pepm/abstract.html}
}
@inproceedings{contejean11rta,
author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest
and Olivier Pons and Xavier Urbain},
crossref = {rta11},
title = {{Automated Certified Proofs with CiME3}},
urn = {urn:nbn:de:0030-drops-31192},
doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.21},
pages = {21--30},
abstract = {http://www.lri.fr/~contejea/publis/2011rta/abstract.html}
}
@misc{coccinelle,
author = {\'Evelyne Contejean},
title = {{Coccinelle}},
year = 2005,
url = {http://www.lri.fr/~contejea/Coccinelle/coccinelle.html}
}
@misc{alt-ergo,
author = {Fran\c{c}ois Bobot and Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala and St\'ephane Lescuyer and Alain Mebsout},
title = {The {Alt-Ergo} Automated Theorem Prover},
note = {APP deposit under the number IDDN FR 001 110026 000 S P 2010 000 1000},
url = {http://alt-ergo.lri.fr/},
year = 2008
}
@techreport{contejean11rr,
author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest
and Olivier Pons and Xavier Urbain},
title = {{Automated Certified Proofs with CiME3}},
institution = {C\'edric laboratory, CNAM Paris, France},
year = {2011},
number = {2044},
url = {http://cedric.cnam.fr/fichiers/art_2044.pdf},
abstract = {http://www.lri.fr/~contejea/publis/rr2044/abstract.html}
}
@proceedings{afm07,
title = {{Proceedings of the second workshop on Automated formal methods}},
booktitle = {{Proceedings of the second workshop on Automated formal methods}},
year = 2007,
editor = {John Rushby and N. Shankar},
publisher = {ACM Press},
isbn = {978-1-59593-879-4}
}
@proceedings{alp92,
title = {3th International Conference on Algebraic and
Logic Programming},
booktitle = {3th International Conference on Algebraic and
Logic Programming},
editor = {H{\'e}l{\`e}ne Kirchner and Giorgio Levi},
month = sep,
year = 1992,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {632},
address = {Volterra, Italy},
isbn = {3-540-55873-X}
}
@proceedings{cade98,
title = {15th International Conference on Automated Deduction},
booktitle = {15th International Conference on Automated Deduction},
address = {Lindau, Germany},
editor = {C. and H. Kirchner},
year = 1998,
month = jul,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
isbn = {3-540-64675-2},
volume = 1421
}
@proceedings{cade05,
title = {20th International Conference on Automated Deduction},
booktitle = {20th International Conference on Automated Deduction (CADE-20)},
address = {Tallinn, Estonia},
month = jul,
year = 2005,
editor = {Robert Nieuwenhuis},
series = {Lecture Notes in Artificial Intelligence},
volume = 3632,
publisher = {Springer},
isbn = {3-540-28005-7}
}
@proceedings{ccl94,
title = {First International Conference on Constraints in
Computational Logics},
booktitle = {First International Conference on Constraints in
Computational Logics},
editor = {Jean-Pierre Jouannaud},
address = {M{\"u}nchen, Germany},
month = sep,
year = 1994,
series = {Lecture Notes in Computer Science},
volume = 845,
publisher = {Springer},
isbn = {3-540-58403-X}
}
@proceedings{cp95,
title = {Principles and Practice of Constraint Programming},
booktitle = {Proc. First International Conference on Principles and Practice of Constraint Programming},
year = 1995,
editor = {Ugo Montanari and Francesca Rossi},
publisher = {Springer},
address = {Cassis, France},
month = sep,
series = {Lecture Notes in Computer Science},
volume = 976,
isbn = {3-540-60299-2}
}
@proceedings{cp97,
title = {Principles and Practice of Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming},
year = 1997,
editor = {Gert Smolka},
publisher = {Springer},
address = {Linz, Austria},
month = oct,
series = {Lecture Notes in Computer Science},
volume = 1330,
isbn = {3-540-63753-2}
}
@proceedings{icalp93,
title = {20th International Colloquium on
Automata, Languages and Programming},
booktitle = {20th International Colloquium on
Automata, Languages and Programming},
address = {Lund, Sweden},
editor = {Andrzej Lingas and Rolf Karlsson and Svante Carlsson},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {700},
year = 1993,
month = jul,
isbn = {3-540-56939-1}
}
@proceedings{iclp93,
title = {Proceedings of the 10th International Conference on
Logic Programming},
booktitle = {Proceedings of the 10th International Conference on
Logic Programming},
series = {Logic Programming},
year = 1993,
month = jun,
address = {Budapest, Hungary},
editor = {David S. Warren},
publisher = {MIT Press},
isbn = {0-262-73105-3}
}
@proceedings{lics90,
title = {Proceedings of the Fifth Annual IEEE Symposium on Logic
in Computer Science},
booktitle = {Proceedings of the Fifth Annual IEEE Symposium on Logic
in Computer Science},
year = 1990,
month = jun,
address = {Philadelphia, Pennsylvania, USA},
publisher = {{IEEE} Comp. Soc. Press},
isbn = {0-8186-2073-0}
}
@proceedings{rta96,
title = {7th International Conference on Rewriting Techniques and
Applications},
booktitle = {7th International Conference on Rewriting Techniques and
Applications},
editor = {Harald Ganzinger},
publisher = {Springer},
year = 1996,
month = jul,
address = {New Brunswick, NJ, USA},
series = {Lecture Notes in Computer Science},
volume = 1103,
isbn = {3-540-61464-8}
}
@proceedings{rta97,
title = {8th International Conference on Rewriting Techniques and
Applications},
booktitle = {8th International Conference on Rewriting Techniques and
Applications},
editor = {Hubert Comon},
publisher = {Springer},
year = 1997,
month = jun,
address = {Barcelona, Spain},
series = {Lecture Notes in Computer Science},
volume = {1232},
isbn = {3-540-62950-5}
}
@proceedings{rta00,
title = {11th International Conference on Rewriting Techniques and Applications},
booktitle = {11th International Conference on Rewriting Techniques and Applications},
editor = {Leo Bachmair},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 1833,
month = jul,
year = 2000,
address = {Norwich, UK},
isbn = {3-540-67778-X}
}
@proceedings{rta01,
title = {12th International Conference on Rewriting Techniques and Applications},
booktitle = {12th International Conference on Rewriting Techniques and Applications},
editor = {Aart Middeldorp},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 2051,
month = may,
year = 2001,
address = {Utrecht, The Netherlands},
isbn = {3-540-42117-3}
}
@proceedings{rta04,
title = {15th International Conference on Rewriting Techniques and Applications},
booktitle = {15th International Conference on Rewriting Techniques and Applications},
editor = {Vincent van Oostrom},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = 3091,
month = jun,
year = 2004,
address = {Aachen, Germany},
isbn = {3-540-22153-0}
}
@proceedings{rta11,
booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA 11)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
year = {2011},
volume = {10},
editor = {Manfred Schmidt-Schau{\ss}},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Novi Sad, Serbia},
isbn = {978-3-939897-30-9},
issn = {1868-8969}
}
@proceedings{tacas2011,
title = {Tools and Algorithms for the Construction and Analysis of Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
year = 2011,
month = apr,
editor = {Parosh A. Abdulla and K. Rustan M. Leino},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6605},
isbn = {978-3-642-19834-2},
address = {Saarbr{\"u}cken, Germany}
}
@proceedings{wst03,
booktitle = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
title = {{Extended Abstracts of the 6th International Workshop on Termination, WST'03}},
year = {2003},
editor = {Albert Rubio},
month = jun,
note = {Technical Report DSIC II/15/03, Universidad Polit\'ecnica de Valencia, Spain}
}
@proceedings{pepm10,
title = {Partial Evaluation and Program Manipulation},
year = 2010,
booktitle = {ACM SIGPLAN 2010 Symposium on Partial Evaluation and Program Manipulation},
editor = {John P. Gallagher and Janis Voigtl{\"a}nder},
address = {Madrid, Spain},
month = jan,
publisher = {ACM Press},
isbn = {978-1-60558-727-1}
}
@proceedings{jpj07,
title = {Rewriting, Computation and Proof},
booktitle = {Rewriting, Computation and Proof},
year = 2007,
editor = {Hubert Comon-Lundth and Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
volume = 4600,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
note = {Jouannaud Festschrift},
isbn = {978-3-540-73146-7}
}
@proceedings{frocos07,
editor = {Boris Konev and Frank Wolter},
title = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
booktitle = {6th International Symposium on Frontiers of Combining Systems (FroCos 07)},
month = sep,
year = 2007,
address = {Liverpool,UK},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = 4720,
isbn = {978-3-540-74620-1}
}