default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rta/rta2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/rta/0001M14,
author = {Martin Hofmann and
Georg Moser},
editor = {Gilles Dowek},
title = {Amortised Resource Analysis and Typed Polynomial Interpretations},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {272--286},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_19},
doi = {10.1007/978-3-319-08918-8\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/0001M14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0002KS14,
author = {Akihisa Yamada and
Keiichirou Kusakari and
Toshiki Sakabe},
editor = {Gilles Dowek},
title = {Nagoya Termination Tool},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {466--475},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_32},
doi = {10.1007/978-3-319-08918-8\_32},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/0002KS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoTU14,
author = {Takahito Aoto and
Yoshihito Toyama and
Kazumasa Uchida},
editor = {Gilles Dowek},
title = {Proving Confluence of Term Rewriting Systems via Persistency and Decreasing
Diagrams},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {46--60},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_4},
doi = {10.1007/978-3-319-08918-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AubertB14,
author = {Cl{\'{e}}ment Aubert and
Marc Bagnol},
editor = {Gilles Dowek},
title = {Unification and Logarithmic Space},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {77--92},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_6},
doi = {10.1007/978-3-319-08918-8\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/AubertB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaeM14,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Gilles Dowek},
title = {Predicate Abstraction of Rewrite Theories},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {61--76},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_5},
doi = {10.1007/978-3-319-08918-8\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaeM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BerardiS14,
author = {Stefano Berardi and
Silvia Steila},
editor = {Gilles Dowek},
title = {Ramsey Theorem as an Intuitionistic Property of Well Founded Relations},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {93--107},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_7},
doi = {10.1007/978-3-319-08918-8\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BerardiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BizjakBM14,
author = {Ales Bizjak and
Lars Birkedal and
Marino Miculan},
editor = {Gilles Dowek},
title = {A Model of Countable Nondeterminism in Guarded Type Theory},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {108--123},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_8},
doi = {10.1007/978-3-319-08918-8\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/BizjakBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Burel14,
author = {Guillaume Burel},
editor = {Gilles Dowek},
title = {Cut Admissibility by Saturation},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {124--138},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_9},
doi = {10.1007/978-3-319-08918-8\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Burel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CarvalhoS14,
author = {Daniel de Carvalho and
Jakob Grue Simonsen},
editor = {Gilles Dowek},
title = {An Implicit Characterization of the Polynomial-Time Decidable Sets
by Cons-Free Rewriting},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {179--193},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_13},
doi = {10.1007/978-3-319-08918-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CarvalhoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CreusG14,
author = {Carles Creus and
Guillem Godoy},
editor = {Gilles Dowek},
title = {Automatic Evaluation of Context-Free Grammars (System Description)},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {139--148},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_10},
doi = {10.1007/978-3-319-08918-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CreusG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CreusG14a,
author = {Carles Creus and
Guillem Godoy},
editor = {Gilles Dowek},
title = {Tree Automata with Height Constraints between Brothers},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {149--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_11},
doi = {10.1007/978-3-319-08918-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CreusG14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Czajka14,
author = {Lukasz Czajka},
editor = {Gilles Dowek},
title = {A Coinductive Confluence Proof for Infinitary Lambda-Calculus},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {164--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_12},
doi = {10.1007/978-3-319-08918-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Czajka14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Dezani-CiancagliniG14,
author = {Mariangiola Dezani{-}Ciancaglini and
Silvia Ghilezan},
editor = {Gilles Dowek},
title = {Preciseness of Subtyping on Intersection and Union Types},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {194--207},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_14},
doi = {10.1007/978-3-319-08918-8\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Dezani-CiancagliniG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/EscardoS14,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Alex Simpson},
editor = {Gilles Dowek},
title = {Abstract Datatypes for Real Numbers in Type Theory},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {208--223},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_15},
doi = {10.1007/978-3-319-08918-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/EscardoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuS14,
author = {Peng Fu and
Aaron Stump},
editor = {Gilles Dowek},
title = {Self Types for Dependently Typed Lambda Encodings},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {224--239},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_16},
doi = {10.1007/978-3-319-08918-8\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuhsK14,
author = {Carsten Fuhs and
Cynthia Kop},
editor = {Gilles Dowek},
title = {First-Order Formative Rules},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {240--256},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_17},
doi = {10.1007/978-3-319-08918-8\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuhsK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM14,
author = {Nao Hirokawa and
Georg Moser},
editor = {Gilles Dowek},
title = {Automated Complexity Analysis Based on Context-Sensitive Rewriting},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {257--271},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_18},
doi = {10.1007/978-3-319-08918-8\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HondaYB14,
author = {Kohei Honda and
Nobuko Yoshida and
Martin Berger},
editor = {Gilles Dowek},
title = {Process Types as a Descriptive Tool for Interaction - Control and
the Pi-Calculus},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {1--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_1},
doi = {10.1007/978-3-319-08918-8\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HondaYB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LiuDJ14,
author = {Jiaxiang Liu and
Nachum Dershowitz and
Jean{-}Pierre Jouannaud},
editor = {Gilles Dowek},
title = {Confluence by Critical Pair Analysis},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {287--302},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_20},
doi = {10.1007/978-3-319-08918-8\_20},
timestamp = {Thu, 11 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/LiuDJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LombardiRV14,
author = {Carlos Lombardi and
Alejandro R{\'{\i}}os and
Roel de Vrijer},
editor = {Gilles Dowek},
title = {Proof Terms for Infinitary Rewriting},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {303--318},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_21},
doi = {10.1007/978-3-319-08918-8\_21},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/LombardiRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Maieli14,
author = {Roberto Maieli},
editor = {Gilles Dowek},
title = {Construction of Retractile Proof Structures},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {319--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_22},
doi = {10.1007/978-3-319-08918-8\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Maieli14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Mellies14,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
editor = {Gilles Dowek},
title = {Local States in String Diagrams},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {334--348},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_23},
doi = {10.1007/978-3-319-08918-8\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Mellies14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NakazawaN14,
author = {Koji Nakazawa and
Tomoharu Nagai},
editor = {Gilles Dowek},
title = {Reduction System for Extensional Lambda-mu Calculus},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {349--363},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_24},
doi = {10.1007/978-3-319-08918-8\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NakazawaN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/RouxD14,
author = {Cody Roux and
Floris van Doorn},
editor = {Gilles Dowek},
title = {The Structural Theory of Pure Type Systems},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {364--378},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_25},
doi = {10.1007/978-3-319-08918-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/RouxD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-Schauss14,
author = {Manfred Schmidt{-}Schau{\ss}},
editor = {Gilles Dowek},
title = {Concurrent Programming Languages and Methods for Semantic Analyses
(Extended Abstract of Invited Talk)},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {21--30},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_2},
doi = {10.1007/978-3-319-08918-8\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-Schauss14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussS14,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Gilles Dowek},
title = {Applicative May- and Should-Simulation in the Call-by-Value Lambda
Calculus with {AMB}},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {379--394},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_26},
doi = {10.1007/978-3-319-08918-8\_26},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmitz14,
author = {Sylvain Schmitz},
editor = {Gilles Dowek},
title = {Implicational Relevance Logic is 2-ExpTime-Complete},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {395--409},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_27},
doi = {10.1007/978-3-319-08918-8\_27},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmitz14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Setzer0PT14,
author = {Anton Setzer and
Andreas Abel and
Brigitte Pientka and
David Thibodeau},
editor = {Gilles Dowek},
title = {Unnesting of Copatterns},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {31--45},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_3},
doi = {10.1007/978-3-319-08918-8\_3},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Setzer0PT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Statman14,
author = {Rick Statman},
editor = {Gilles Dowek},
title = {Near Semi-rings and Lambda Calculus},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {410--424},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_28},
doi = {10.1007/978-3-319-08918-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Statman14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/StefanescuCMMSR14,
author = {Andrei Stefanescu and
{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
Radu Mereuta and
Brandon M. Moore and
Traian{-}Florin Serbanuta and
Grigore Rosu},
editor = {Gilles Dowek},
title = {All-Path Reachability Logic},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {425--440},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_29},
doi = {10.1007/978-3-319-08918-8\_29},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/StefanescuCMMSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SternagelM14,
author = {Thomas Sternagel and
Aart Middeldorp},
editor = {Gilles Dowek},
title = {Conditional Confluence (System Description)},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {456--465},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_31},
doi = {10.1007/978-3-319-08918-8\_31},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/SternagelM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SternagelT14,
author = {Christian Sternagel and
Ren{\'{e}} Thiemann},
editor = {Gilles Dowek},
title = {Formalizing Monotone Algebras for Certification of Termination and
Complexity Proofs},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {441--455},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_30},
doi = {10.1007/978-3-319-08918-8\_30},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/SternagelT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ZantemaKB14,
author = {Hans Zantema and
Barbara K{\"{o}}nig and
H. J. Sander Bruggink},
editor = {Gilles Dowek},
title = {Termination of Cycle Rewriting},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {476--490},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_33},
doi = {10.1007/978-3-319-08918-8\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ZantemaKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2014,
editor = {Gilles Dowek},
title = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8},
doi = {10.1007/978-3-319-08918-8},
isbn = {978-3-319-08917-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/2014.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.
retrieved on 2024-11-23 01:01 CET 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:
