Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rta/rta2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/rta/AntoyBC06,
author = {Sergio Antoy and
Daniel W. Brown and
Su{-}Hui Chiang},
editor = {Frank Pfenning},
title = {On the Correctness of Bubbling},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {35--49},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_4},
doi = {10.1007/11805618\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AntoyBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Aoto06,
author = {Takahito Aoto},
editor = {Frank Pfenning},
title = {Dealing with Non-orientable Equations in Rewriting Induction},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_18},
doi = {10.1007/11805618\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Aoto06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ArbiserMR06,
author = {Ariel Arbiser and
Alexandre Miquel and
Alejandro R{\'{\i}}os},
editor = {Frank Pfenning},
title = {A Lambda-Calculus with Constructors},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {181--196},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_14},
doi = {10.1007/11805618\_14},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ArbiserMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BoichutG06,
author = {Yohan Boichut and
Thomas Genet},
editor = {Frank Pfenning},
title = {Feasible Trace Reconstruction for Rewriting Approximations},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {123--135},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_10},
doi = {10.1007/11805618\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BoichutG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BouajjaniE06,
author = {Ahmed Bouajjani and
Javier Esparza},
editor = {Frank Pfenning},
title = {Rewriting Models of Boolean Programs},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {136--150},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_11},
doi = {10.1007/11805618\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BouajjaniE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BournezG06,
author = {Olivier Bournez and
Florent Garnier},
editor = {Frank Pfenning},
title = {Proving Positive Almost Sure Termination Under Strategies},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {357--371},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_27},
doi = {10.1007/11805618\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BournezG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bruggink06,
author = {H. J. Sander Bruggink},
editor = {Frank Pfenning},
title = {A Proof of Finite Family Developments for Higher-Order Rewriting Using
a Prefix Property},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {372--386},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_28},
doi = {10.1007/11805618\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bruggink06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Bryant06,
author = {Randal E. Bryant},
editor = {Frank Pfenning},
title = {Formal Verification of Infinite State Systems Using Boolean Methods},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {1--3},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_1},
doi = {10.1007/11805618\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Bryant06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChevalierR06,
author = {Yannick Chevalier and
Micha{\"{e}}l Rusinowitch},
editor = {Frank Pfenning},
title = {Hierarchical Combination of Intruder Theories},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {108--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_9},
doi = {10.1007/11805618\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ChevalierR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChibaA06,
author = {Yuki Chiba and
Takahito Aoto},
editor = {Frank Pfenning},
title = {{RAPT:} {A} Program Transformation System Based on Term Rewriting},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {267--276},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_20},
doi = {10.1007/11805618\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ChibaA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CodishLS06,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Frank Pfenning},
title = {Solving Partial Order Constraints for {LPO} Termination},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {4--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_2},
doi = {10.1007/11805618\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CodishLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslSST06,
author = {J{\"{u}}rgen Giesl and
Stephan Swiderski and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Frank Pfenning},
title = {Automated Termination Analysis for Haskell: From Term Rewriting to
Programming Languages},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {297--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_23},
doi = {10.1007/11805618\_23},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GramlichL06,
author = {Bernhard Gramlich and
Salvador Lucas},
editor = {Frank Pfenning},
title = {Generalizing Newman's Lemma for Left-Linear Rewrite Systems},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {66--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_6},
doi = {10.1007/11805618\_6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GramlichL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HendrixOV06,
author = {Joe Hendrix and
Hitoshi Ohsaki and
Mahesh Viswanathan},
editor = {Frank Pfenning},
title = {Propositional Tree Automata},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {50--65},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_5},
doi = {10.1007/11805618\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HendrixOV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM06,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Frank Pfenning},
title = {Predictive Labeling},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {313--327},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_24},
doi = {10.1007/11805618\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HofbauerW06,
author = {Dieter Hofbauer and
Johannes Waldmann},
editor = {Frank Pfenning},
title = {Termination of String Rewriting with Matrix Interpretations},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {328--342},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_25},
doi = {10.1007/11805618\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HofbauerW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hoffman06,
author = {Piotr Hoffman},
editor = {Frank Pfenning},
title = {Unions of Equational Monadic Theories},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {81--95},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_7},
doi = {10.1007/11805618\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Hoffman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Jouannaud06,
author = {Jean{-}Pierre Jouannaud},
editor = {Frank Pfenning},
title = {Modular Church-Rosser Modulo},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {96--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_8},
doi = {10.1007/11805618\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Jouannaud06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/JouannaudR06,
author = {Jean{-}Pierre Jouannaud and
Albert Rubio},
editor = {Frank Pfenning},
title = {Higher-Order Orderings for Normal Rewriting},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {387--399},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_29},
doi = {10.1007/11805618\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/JouannaudR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Koprowski06,
author = {Adam Koprowski},
editor = {Frank Pfenning},
title = {Certified Higher-Order Recursive Path Ordering},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {227--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_17},
doi = {10.1007/11805618\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Koprowski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Koprowski06a,
author = {Adam Koprowski},
editor = {Frank Pfenning},
title = {{TPA:} Termination Proved Automatically},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {257--266},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_19},
doi = {10.1007/11805618\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Koprowski06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LevySV06,
author = {Jordi Levy and
Manfred Schmidt{-}Schau{\ss} and
Mateu Villaret},
editor = {Frank Pfenning},
title = {Bounded Second-Order Unification Is NP-Complete},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {400--414},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_30},
doi = {10.1007/11805618\_30},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/LevySV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Obua06,
author = {Steven Obua},
editor = {Frank Pfenning},
title = {Checking Conservativity of Overloaded Definitions in Higher-Order
Logic},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {212--226},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_16},
doi = {10.1007/11805618\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Obua06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/OhtaH06,
author = {Yo Ohta and
Masahito Hasegawa},
editor = {Frank Pfenning},
title = {A Terminating and Confluent Linear Lambda Calculus},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {166--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_13},
doi = {10.1007/11805618\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/OhtaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Salvati06,
author = {Sylvain Salvati},
editor = {Frank Pfenning},
title = {Syntactic Descriptions: {A} Type System for Solving Matching Equations
in the Linear \emph{lambda}-Calculus},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {151--165},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_12},
doi = {10.1007/11805618\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Salvati06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SantoFP06,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Maria Jo{\~{a}}o Frade and
Lu{\'{\i}}s Pinto},
editor = {Frank Pfenning},
title = {Structural Proof Theory as Rewriting},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {197--211},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_15},
doi = {10.1007/11805618\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SantoFP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SerbanutaR06,
author = {Traian{-}Florin Serbanuta and
Grigore Rosu},
editor = {Frank Pfenning},
title = {Computationally Equivalent Elimination of Conditions},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {19--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_3},
doi = {10.1007/11805618\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SerbanutaR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Turuani06,
author = {Mathieu Turuani},
editor = {Frank Pfenning},
title = {The CL-Atse Protocol Analyser},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {277--286},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_21},
doi = {10.1007/11805618\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Turuani06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WangS06,
author = {Yi Wang and
Masahiko Sakai},
editor = {Frank Pfenning},
title = {Decidability of Termination for Semi-constructor TRSs, Left-Linear
Shallow TRSs and Related Systems},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {343--356},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_26},
doi = {10.1007/11805618\_26},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/WangS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WehrmanSW06,
author = {Ian Wehrman and
Aaron Stump and
Edwin M. Westbrook},
editor = {Frank Pfenning},
title = {Slothrop: Knuth-Bendix Completion with a Modern Termination Checker},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {287--296},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_22},
doi = {10.1007/11805618\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/WehrmanSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2006,
editor = {Frank Pfenning},
title = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618},
doi = {10.1007/11805618},
isbn = {3-540-36834-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 07:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
