@COMMENT{{This file has been generated by bib2bib 1.79}}
@COMMENT{{Command line: bib2bib -oc marche.cite -ob marche.bib -c 'topics:"team" and (author : "Marché" or $key="comon01cclbook")' /users/demons/demons/biblio/abbrevs.bib /users/demons/demons/biblio/demons.bib /users/demons/demons/biblio/demons2.bib /users/demons/demons/biblio/demons3.bib /users/demons/demons/biblio/crossrefs.bib /users/demons/demons/biblio/crossrefs2.bib}}
@INPROCEEDINGS{boudet96rta,
AUTHOR = {Alexandre Boudet and Evelyne Contejean and Claude
March{\'e}},
TITLE = {{AC}-complete unification and its application to
theorem proving},
TOPICS = {team, cclserver, lri},
YEAR = 1996,
CROSSREF = {rta96},
PAGES = {18--32},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/rta96.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/rta96.html},
TYPE_PUBLI = {icolcomlec},
CLEF_LABO = {BCM96E}
}
@INPROCEEDINGS{contejean96rta,
AUTHOR = {Evelyne Contejean and Claude March{\'e}},
TITLE = {{CiME: Completion Modulo $E$}},
CROSSREF = {rta96},
PAGES = {416--419},
YEAR = 1996,
NOTE = {System Description available at \url{http://cime.lri.fr/}},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/cime-rta96.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/cime-rta96.html},
URL = {http://cime.lri.fr/},
TYPE_PUBLI = {icolcomlec},
TOPICS = {team, lri, cclserver},
CLEF_LABO = {CM96E}
}
@INPROCEEDINGS{contejean97rta,
AUTHOR = {Evelyne Contejean and Claude March{\'e} and Landy Rabehasaina},
TITLE = {Rewrite systems for natural, integral, and rational
arithmetic},
CROSSREF = {rta97},
YEAR = 1997,
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/rta97.ps.gz},
URL = {http://dx.doi.org/10.1007/3-540-62950-5_64},
ABSTRACT = {http://www.lri.fr/~marche/rta97.html},
TYPE_PUBLI = {icolcomlec},
TOPICS = {team, lri, cclserver},
CLEF_LABO = {CMR97E}
}
@INPROCEEDINGS{jouannaud90disco,
TOPICS = {rewriting, old-team},
LOCATION = {CM},
AUTHOR = {Jean-Pierre Jouannaud and Claude March{\'e}},
TITLE = {Completion modulo Associativity, Commutativity and
Identity},
BOOKTITLE = {Proc. Int. Symposium on Design and Implementation
of Symbolic Computation Systems, LNCS 429},
YEAR = 1990,
EDITOR = {Alfonso Miola},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Capri, Italy},
MONTH = APR,
PAGES = {111--120}
}
@ARTICLE{jouannaud92tcs,
AUTHOR = {Jean-Pierre Jouannaud and Claude March{\'e}},
TOPICS = {rewriting, old-team, cclserver},
LOCATION = {CM, HC 637},
TITLE = {Termination and completion modulo associativity,
commutativity and identity},
JOURNAL = {Theoretical Computer Science},
YEAR = 1992,
VOLUME = 104,
PAGES = {29--51},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/tcs92.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/tcs92.html}
}
@TECHREPORT{marche89rr,
AUTHOR = {Claude March{\'e}},
TOPICS = {rewriting, teamnop},
LOCATION = {CM 13},
TITLE = {Compl{\'e}tion modulo Associativit{\'e}, Commutativit{\'e}
et {\'e}l{\'e}ment neutre},
INSTITUTION = {Laboratoire de Recherche en Informatique},
YEAR = 1989,
TYPE = {Research Report},
NUMBER = 513,
ADDRESS = {Universit{\'e} de Paris-Sud, Orsay, France},
MONTH = SEP
}
@TECHREPORT{marche90rr,
AUTHOR = {Claude March{\'e}},
LOCATION = {CM 16},
TOPICS = {rewriting, completion, teamnop},
TITLE = {On {AC}-termination and Ground {AC}-completion},
INSTITUTION = {Laboratoire de Recherche en Informatique},
YEAR = 1990,
TYPE = {Research Report},
NUMBER = 598,
ADDRESS = {Universit{\'e} de Paris-Sud, Orsay, France},
MONTH = OCT
}
@TECHREPORT{marche91rr,
AUTHOR = {Claude March{\'e}},
LOCATION = {CM,biblio-equipe},
TOPICS = {rewriting, completion, old-teamnop},
TITLE = {The Word Problem of {ACD}-ground Theories is Undecidable},
INSTITUTION = {Laboratoire de Recherche en Informatique},
YEAR = 1991,
TYPE = {Research Report},
NUMBER = 663,
ADDRESS = {Universit{\'e} de Paris-Sud, Orsay, France},
MONTH = APR
}
@INPROCEEDINGS{marche91rta,
TOPICS = {rewriting, old-team},
LOCATION = {CM},
AUTHOR = {Claude March{\'e}},
TITLE = {On ground {AC}-completion},
CROSSREF = {rta91},
YEAR = 1991
}
@ARTICLE{marche92ijfcs,
AUTHOR = {Claude March{\'e}},
TOPICS = {old-team, cclserver},
LOCATION = {CM},
TITLE = {The word problem of {ACD}-ground theories is undecidable},
JOURNAL = {International Journal of Foundations of Computer
Science},
YEAR = 1992,
VOLUME = 3,
NUMBER = 1,
PAGES = {81--92},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/ijfcs92.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/ijfcs92.html}
}
@MISC{marche93litp,
AUTHOR = {Claude March{\'e}},
TITLE = {Normalized Rewriting -- Application to ground
completion and standard bases},
HOWPUBLISHED = {Notes de cours de l'{\'e}cole de printemps},
YEAR = 1993,
TOPICS = {team, lri},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/litp93.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/litp93.html},
TYPE_PUBLI = {diffusion}
}
@PHDTHESIS{marche93these,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, lri, cclserver},
TITLE = {R{\'e}{\'e}criture modulo une th{\'e}orie
pr{\'e}sent{\'e}e par un syst{\`e}me convergent et
d{\'e}cidabilit{\'e} des probl{\`e}mes du mot dans
certaines classes de th{\'e}ories {\'e}quationnelles},
SCHOOL = {Universit{\'e} Paris-Sud},
YEAR = 1993,
TYPE = {Th{\`e}se de Doctorat},
ADDRESS = {Orsay, France},
MONTH = OCT,
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/thesis.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/thesis.html},
TYPE_PUBLI = {these}
}
@INPROCEEDINGS{marche94lics,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, lri, cclserver},
TITLE = {Normalised Rewriting and Normalised Completion},
CROSSREF = {lics94},
YEAR = 1994,
PAGES = {394--403},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/lics94.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/lics94.html},
TYPE_PUBLI = {icolcomlec},
CLEF_LABO = {Mar94E}
}
@TECHREPORT{marche95lifac,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, cclserver},
TITLE = {Associative-Commutative Reduction Orderings via
Head-Preserving Interpretations},
INSTITUTION = {LIFAC},
YEAR = 1995,
NUMBER = {95--2},
ADDRESS = {E.N.S. de Cachan},
MONTH = JAN,
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/lifac-95-2.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/lifac-95-2.html},
TYPE_PUBLI = {diffusion}
}
@INPROCEEDINGS{marche95litp,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, lri, cclserver},
TITLE = {Normalized Rewriting -- Application to ground
completion and standard bases},
PAGES = {154--169},
YEAR = 1995,
CROSSREF = {comon95lncs},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/litp93.ps.Z},
ABSTRACT = {http://www.lri.fr/~marche/litp93.html},
TYPE_PUBLI = {chapitre},
CLEF_LABO = {Mar95C}
}
@ARTICLE{marche96jsc,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, lri, cclserver},
TITLE = {Normalized Rewriting: an alternative to Rewriting
modulo a Set of Equations},
JOURNAL = {Journal of Symbolic Computation},
YEAR = 1996,
VOLUME = 21,
NUMBER = 3,
PAGES = {253--288},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/jsc96.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/jsc96.html},
TYPE_PUBLI = {irevcomlec},
CLEF_LABO = {Mar96R}
}
@INPROCEEDINGS{marche95srt,
AUTHOR = {Claude March{\'e}},
TOPICS = {team, cclserver},
TITLE = {{Normalized Rewriting: an unified view of
Knuth-Bendix completion and Gr{\"o}bner bases computation}},
YEAR = 1995,
CROSSREF = {srt95},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/srt95.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/srt95.html},
TYPE_PUBLI = {colloque}
}
@ARTICLE{marche98pcsal,
AUTHOR = {Claude March{\'e}},
TITLE = {{Normalized Rewriting: an unified view of
Knuth-Bendix completion and Gr{\"o}bner bases computation}},
JOURNAL = {Progress in Computer Science and Applied Logic},
PUBLISHER = {Bikha{\"u}ser Verlag},
YEAR = 1998,
VOLUME = 15,
PAGES = {193--208},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/srt95.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/srt95.html},
TYPE_PUBLI = {irevcomlec},
TOPICS = {team, cclserver, lri},
CLEF_LABO = {Mar98R}
}
@INPROCEEDINGS{marche98rta,
AUTHOR = {Claude March{\'e} and Xavier Urbain},
TITLE = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
CROSSREF = {rta98},
YEAR = 1998,
PAGES = {241--255},
FTP = {ftp://ftp.lri.fr/LRI/articles/marche/rta98.ps.gz},
ABSTRACT = {http://www.lri.fr/~marche/rta98.html},
TYPE_PUBLI = {icolcomlec},
TOPICS = {team, lri, cclserver},
CLEF_LABO = {MU98E}
}
@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/},
TOPICS = {team,lri}
}
@MISC{cime3,
AUTHOR = {Evelyne Contejean and Claude March{\'e} and
Xavier Urbain},
TITLE = {{CiME3}},
NOTE = {Available at
\url{http://cime.lri.fr/}},
YEAR = 2004,
URL = {http://cime.lri.fr/},
TOPICS = {team,lri}
}
@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,
TOPICS = {team},
TYPE_PUBLI = {icolcomlec},
URL = {http://cime.lri.fr},
NOTE = {\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},
TYPE_PUBLI = {interne},
TOPICS = {team},
URL = {http://www.lri.fr/~urbain/textes/rr1382.ps.gz}
}
@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,
TOPICS = {team},
URL = {http://dx.doi.org/10.1007/s10817-005-9022-x}
}
@INPROCEEDINGS{jacobs04amast,
AUTHOR = {Bart Jacobs and Claude March{\'e} and Nicole Rauch},
TITLE = {Formal Verification of a Commercial Smart Card Applet with
Multiple Tools},
CROSSREF = {amast04},
YEAR = 2004,
TOPICS = {team}
}
@TECHREPORT{kmu2002rr,
AUTHOR = {Keiichirou Kusakari and Claude March\'e and Xavier Urbain},
TITLE = {Termination of Associative-Commutative Rewriting using Dependency Pairs Criteria},
INSTITUTION = {LRI},
YEAR = 2002,
TYPE = {Research Report},
NUMBER = 1304,
TYPE_PUBLI = {interne},
TOPICS = {team},
NOTE = {\url{http://www.lri.fr/~urbain/textes/rr1304.ps.gz}},
URL = {http://www.lri.fr/~urbain/textes/rr1304.ps.gz}
}
@ARTICLE{marche04jlap,
AUTHOR = {Claude March{\'e} and Christine Paulin-Mohring and Xavier Urbain},
TITLE = {The \textsc{Krakatoa} Tool for Certification of \textsc{Java/JavaCard} Programs annotated in \textsc{JML}},
JOURNAL = {Journal of Logic and Algebraic Programming},
YEAR = 2004,
VOLUME = 58,
NUMBER = {1--2},
PAGES = {89--106},
NOTE = {\url{http://krakatoa.lri.fr}},
URL = {http://krakatoa.lri.fr},
PS = {http://www.lri.fr/~marche/marche04jlap.ps},
TOPICS = {team},
TYPE_PUBLI = {irevcomlec}
}
@INPROCEEDINGS{marche05tphols,
TOPICS = {team},
AUTHOR = {Claude March\'e and Christine Paulin-Mohring},
TITLE = {Reasoning about {Java} Programs with Aliasing and Frame
Conditions},
CROSSREF = {tphols2005},
TOPICS = {team,lri},
URL = {http://www.lri.fr/~marche/marche05tphols.ps}
}
@ARTICLE{marche2004jsc,
AUTHOR = {Claude March\'e and Xavier Urbain},
TITLE = {Modular and Incremental Proofs of {AC}-Termination},
JOURNAL = {Journal of Symbolic Computation},
VOLUME = 38,
PAGES = {873--897},
YEAR = 2004,
TOPICS = {team},
TYPE_PUBLI = {irevcomlec},
URL = {http://authors.elsevier.com/sd/article/S074771710400029X}
}
@INPROCEEDINGS{ohlebusch00rta,
AUTHOR = {Enno Ohlebusch and Claus Claves and Claude March{\'e}},
TITLE = {{TALP}: A Tool for the Termination Analysis of Logic Programs},
CROSSREF = {rta00},
YEAR = 2000,
PAGES = {270--273},
TOPICS = {team},
TYPE_PUBLI = {icolcomlec},
URL = {http://bibiserv.techfak.uni-bielefeld.de/talp/},
NOTE = {Available at \url{http://bibiserv.techfak.uni-bielefeld.de/talp/}}
}
@INPROCEEDINGS{ohlebusch03wst,
AUTHOR = {Enno Ohlebusch and Claus Claves and Claude March{\'e}},
TITLE = {The TALP Tool for Termination Analysis of Logic Programs},
CROSSREF = {wst03},
YEAR = 2003,
TOPICS = {team},
TYPE_PUBLI = {icolcomlec},
URL = {http://bibiserv.techfak.uni-bielefeld.de/talp/},
NOTE = {\url{http://bibiserv.techfak.uni-bielefeld.de/talp/}}
}
@INPROCEEDINGS{marche06wst,
AUTHOR = {Claude March{\'e} and Hans Zantema},
TITLE = {The Termination Competition 2006},
CROSSREF = {wst06},
YEAR = 2006,
TOPICS = {team},
TYPE_PUBLI = {icolcomlec},
URL = {http://www.lri.fr/~marche/termination-competition/},
NOTE = {\url{http://www.lri.fr/~marche/termination-competition/}}
}
@TECHREPORT{verificard52,
AUTHOR = {N{\'e}stor {Cata\~{n}o} and M. Gawlowski and Marieke Huisman and Bart Jacobs and Claude March\'e and Christine Paulin and Erik Poll and Nicole Rauch and Xavier Urbain},
TITLE = {Logical Techniques for Applet Verification},
INSTITUTION = {IST VerifiCard project},
YEAR = 2003,
TYPE = {Deliverable},
NUMBER = {5.2},
TOPICS = {team},
TYPE_PUBLI = {rapport},
NOTE = {\url{http://www.cs.kun.nl/VerifiCard/files/deliverables/deliverable_5_2.pdf}},
URL = {http://www.cs.kun.nl/VerifiCard/files/deliverables/deliverable_5_2.pdf}
}
@INPROCEEDINGS{duran04pepm,
AUTHOR = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer
and Claude March{\'e} and Xavier Urbain},
TITLE = {Proving Termination of Membership Equational Programs},
CROSSREF = {pepm04},
TOPICS = {team},
TYPE_PUBLI = {icolcomlec}
}
@ARTICLE{duran06hosc,
AUTHOR = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer
and Claude March{\'e} and Xavier Urbain},
TITLE = {Proving Operational Termination of Membership Equational Programs},
JOURNAL = {Higher-Order and Symbolic Computation},
YEAR = 2006,
TOPICS = {team}
}
@INPROCEEDINGS{filliatre04icfem,
AUTHOR = {Jean-Christophe Filli{\^a}tre and Claude March{\'e}},
TITLE = {Multi-Prover Verification of {C} Programs},
CROSSREF = {icfem04},
PAGES = {15--29},
TOPICS = {team},
TYPE_PUBLI = {icolcomlec},
URL = {http://www.lri.fr/~filliatr/ftp/publis/caduceus.ps.gz}
}
@ARTICLE{lucas05ipl,
TOPICS = {team},
AUTHOR = {Salvador Lucas and Claude March\'e and Jos\'e Meseguer},
TITLE = {Operational Termination of Conditional Term Rewriting Systems},
JOURNAL = {Information Processing Letters},
VOLUME = 95,
PAGES = {446--453},
YEAR = 2005
}
@INPROCEEDINGS{hubert05sefm,
AUTHOR = {Thierry Hubert and Claude March\'e},
TOPICS = {team},
TITLE = {A case study of {C} source code verification: the {Schorr-Waite} algorithm},
CROSSREF = {sefm05},
TYPE_PUBLI = {icolcomlec},
URL = {http://www.lri.fr/~marche/hubert05sefm.ps}
}
@INPROCEEDINGS{marche06sefm,
AUTHOR = {Claude March\'e and Nicolas Rousset},
TOPICS = {team},
TITLE = {Verification of {Java Card} Applets Behavior with
respect to Transactions and Card Tears},
CROSSREF = {sefm06},
TYPE_PUBLI = {icolcomlec},
URL = {http://www.lri.fr/~marche/marche06sefm.ps}
}
@PHDTHESIS{marche05hdr,
AUTHOR = {Claude March{\'e}},
TITLE = {Preuves m{\'e}canis{\'e}es de Propri{\'e}t{\'e}s de Programmes},
YEAR = {2005},
TYPE = {Th\`{e}se d'habilitation},
SCHOOL = {Universit{\'e} Paris 11},
TOPICS = {team, proval}
}
@PROCEEDINGS{comon95lncs,
TITLE = {Term Rewriting},
BOOKTITLE = {Term Rewriting},
TOPICS = {team, cclserver},
YEAR = 1995,
EDITOR = {Hubert Comon and Jean-Pierre Jouannaud},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {909},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {French Spring School of Theoretical Computer
Science},
TYPE_PUBLI = {editeur},
CLEF_LABO = {CJ95}
}
@PROCEEDINGS{lics94,
TITLE = {Proceedings of the Ninth Annual IEEE Symposium on Logic
in Computer Science},
BOOKTITLE = {Proceedings of the Ninth Annual IEEE Symposium on Logic
in Computer Science},
YEAR = 1994,
MONTH = JUL,
ADDRESS = {Paris, France},
ORGANIZATION = {{IEEE} Comp. Soc. Press}
}
@PROCEEDINGS{rta91,
TITLE = {4th International Conference on Rewriting Techniques and
Applications},
BOOKTITLE = {4th International Conference on Rewriting Techniques and
Applications},
EDITOR = {Ronald. V. Book},
YEAR = 1991,
MONTH = APR,
ADDRESS = {Como, Italy},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 488
}
@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-Verlag},
YEAR = 1996,
MONTH = JUL,
ADDRESS = {New Brunswick, NJ, USA},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1103
}
@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-Verlag},
YEAR = 1997,
MONTH = JUN,
ADDRESS = {Barcelona, Spain},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {1232}
}
@PROCEEDINGS{rta98,
TITLE = {9th International Conference on Rewriting Techniques and
Applications},
BOOKTITLE = {9th International Conference on Rewriting Techniques and
Applications},
EDITOR = {Tobias Nipkow},
PUBLISHER = {Springer-Verlag},
YEAR = 1998,
MONTH = APR,
ADDRESS = {Tsukuba, Japan},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {1379}
}
@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-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1833,
MONTH = JUL,
YEAR = 2000,
ADDRESS = {Norwich, UK}
}
@PROCEEDINGS{srt95,
TITLE = {Proceedings of the Conference on Symbolic Rewriting
Techniques},
BOOKTITLE = {Proceedings of the Conference on Symbolic Rewriting
Techniques},
YEAR = 1995,
EDITOR = {Manuel Bronstein and Volker Weispfenning},
ADDRESS = {Monte Verita, Switzerland}
}
@PROCEEDINGS{tphols2005,
TITLE = {Theorem Proving in Higher Order Logics:
18th International Conference, TPHOLs 2005},
BOOKTITLE = {18th International Conference on Theorem Proving in Higher Order Logics},
EDITOR = {J. Hurd and T. Melham},
SERIES = {Lecture Notes in Computer Science},
YEAR = 2005,
ADDRESSE = {Oxford, UK},
MONTH = AUG,
PUBLISHER = {Springer-Verlag}
}
@BOOK{comon01cclbook,
BOOKTITLE = {Constraints in Computational Logics},
TITLE = {Constraints in Computational Logics},
EDITOR = {Hubert Comon and Claude March{\'e} and Ralf Treinen},
YEAR = 2001,
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 2002,
TOPICS = {team},
TYPE_PUBLI = {editeur}
}
@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écnica de Valencia, Spain}
}
@PROCEEDINGS{wst06,
BOOKTITLE = {{Extended Abstracts of the 8th International Workshop on Termination, WST'06}},
TITLE = {{Extended Abstracts of the 8th International Workshop on Termination, WST'06}},
YEAR = {2006},
EDITOR = {Alfons Geser and Harald Sondergaard},
MONTH = AUG
}
@PROCEEDINGS{amast04,
TITLE = {Algebraic Methodology and Software Technology},
BOOKTITLE = {Algebraic Methodology and Software Technology},
YEAR = 2004,
SERIES = {Lecture Notes in Computer Science},
VOLUME = 3116,
ADDRESS = {Stirling, UK},
MONTH = JUL,
PUBLISHER = {Springer-Verlag}
}
@PROCEEDINGS{pepm04,
TITLE = {Partial Evaluation and Program Manipulation},
YEAR = 2004,
BOOKTITLE = {ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation},
ADDRESS = {Verona, Italy},
MONTH = AUG,
PUBLISHER = {ACM Press}
}
@PROCEEDINGS{icfem04,
TITLE = {Formal Engineering Methods},
YEAR = 2004,
BOOKTITLE = {Sixth International Conference on Formal Engineering Methods},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 3308,
EDITOR = {Jim Davies and Wolfram Schulte and Mike Barnett},
ADDRESS = {Seattle, WA, USA},
MONTH = NOV,
PUBLISHER = {Springer-Verlag}
}
@PROCEEDINGS{sefm05,
TITLE = {Software Engineering and Formal Methods},
YEAR = 2005,
BOOKTITLE = {3rd IEEE International Conference on Software Engineering
and Formal Methods (SEFM'05)},
ADDRESS = {Koblenz, Germany},
EDITOR = {Bernhard K. Aichernig and Bernhard Beckert},
MONTH = SEP
}
@PROCEEDINGS{sefm06,
TITLE = {Software Engineering and Formal Methods},
YEAR = 2006,
EDITOR = {Dang Van Hung and Paritosh Pandya},
BOOKTITLE = {4th IEEE International Conference on Software Engineering
and Formal Methods (SEFM'06)},
ADDRESS = {Pune, India},
MONTH = SEP
}
This file has been generated by bibtex2html 1.79