Search dblp for Publications

export results for "toc:db/conf/rta/fscd2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rta/0001PV16,
  author       = {Naoki Nishida and
                  Adri{\'{a}}n Palacios and
                  Germ{\'{a}}n Vidal},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Reversible Term Rewriting},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {28:1--28:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.28},
  doi          = {10.4230/LIPICS.FSCD.2016.28},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/0001PV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/0001T16,
  author       = {Takahito Aoto and
                  Yoshihito Toyama},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Ground Confluence Prover based on Rewriting Induction},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {33:1--33:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.33},
  doi          = {10.4230/LIPICS.FSCD.2016.33},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/0001T16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Ahmed16,
  author       = {Amal Ahmed},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Compositional Compiler Verification for a Multi-Language World},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {1:1--1:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.1},
  doi          = {10.4230/LIPICS.FSCD.2016.1},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Ahmed16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AkiyoshiT16,
  author       = {Ryota Akiyoshi and
                  Kazushige Terui},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus
                  Based on the Omega-Rule.},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {5:1--5:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.5},
  doi          = {10.4230/LIPICS.FSCD.2016.5},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AkiyoshiT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AltenkirchK16,
  author       = {Thorsten Altenkirch and
                  Ambrus Kaposi},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Normalisation by Evaluation for Dependent Types},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {6:1--6:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.6},
  doi          = {10.4230/LIPICS.FSCD.2016.6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/AltenkirchK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ArieliA16,
  author       = {Ofer Arieli and
                  Arnon Avron},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Minimal Paradefinite Logics for Reasoning with Incompleteness and
                  Inconsistency},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {7:1--7:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.7},
  doi          = {10.4230/LIPICS.FSCD.2016.7},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ArieliA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Arisaka16,
  author       = {Ryuta Arisaka},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Structural Interactions and Absorption of Structural Rules in {BI}
                  Sequent Calculus},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {8:1--8:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.8},
  doi          = {10.4230/LIPICS.FSCD.2016.8},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Arisaka16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AristizabalBLP16,
  author       = {Andr{\'{e}}s Aristiz{\'{a}}bal and
                  Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet and
                  Piotr Polesiuk},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Environmental Bisimulations for Delimited-Control Operators with Dynamic
                  Prompt Generation},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {9:1--9:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.9},
  doi          = {10.4230/LIPICS.FSCD.2016.9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AristizabalBLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AvanziniM16,
  author       = {Martin Avanzini and
                  Georg Moser},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Complexity of Acyclic Term Graph Rewriting},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {10:1--10:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.10},
  doi          = {10.4230/LIPICS.FSCD.2016.10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AvanziniM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Ayala-RinconFN16,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes{-}Sobrinho},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Nominal Narrowing},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {11:1--11:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.11},
  doi          = {10.4230/LIPICS.FSCD.2016.11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Ayala-RinconFN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BarKV16,
  author       = {Krzysztof Bar and
                  Aleks Kissinger and
                  Jamie Vicary},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Globular: An Online Proof Assistant for Higher-Dimensional Rewriting},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {34:1--34:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.34},
  doi          = {10.4230/LIPICS.FSCD.2016.34},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BarKV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BenkeSC16,
  author       = {Marcin Benke and
                  Aleksy Schubert and
                  Daria Walukiewicz{-}Chrzaszcz},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Synthesis of Functional Programs with Help of First-Order Intuitionistic
                  Logic},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {12:1--12:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.12},
  doi          = {10.4230/LIPICS.FSCD.2016.12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BenkeSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Blot16,
  author       = {Valentin Blot},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Classical Extraction in Continuation Models},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {13:1--13:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.13},
  doi          = {10.4230/LIPICS.FSCD.2016.13},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Blot16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BrenasES16,
  author       = {Jon Ha{\"{e}}l Brenas and
                  Rachid Echahed and
                  Martin Strecker},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Proving Correctness of Logically Decorated Graph Rewriting Systems},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {14:1--14:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.14},
  doi          = {10.4230/LIPICS.FSCD.2016.14},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BrenasES16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BreuvartMPR16,
  author       = {Flavien Breuvart and
                  Giulio Manzonetto and
                  Andrew Polonsky and
                  Domenico Ruoppolo},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {New Results on Morris's Observational Theory: The Benefits of Separating
                  the Inseparable},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {15:1--15:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.15},
  doi          = {10.4230/LIPICS.FSCD.2016.15},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BreuvartMPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ChaudhuriMS16,
  author       = {Kaustuv Chaudhuri and
                  Sonia Marin and
                  Lutz Stra{\ss}burger},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Modular Focused Proof Systems for Intuitionistic Modal Logics},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {16:1--16:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.16},
  doi          = {10.4230/LIPICS.FSCD.2016.16},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ChaudhuriMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CoquandM16,
  author       = {Thierry Coquand and
                  Bassel Mannaa},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {The Independence of Markov's Principle in Type Theory},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {17:1--17:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.17},
  doi          = {10.4230/LIPICS.FSCD.2016.17},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CoquandM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DudenhefnerMR16,
  author       = {Andrej Dudenhefner and
                  Moritz Martens and
                  Jakob Rehof},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {The Intersection Type Unification Problem},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {19:1--19:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.19},
  doi          = {10.4230/LIPICS.FSCD.2016.19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DudenhefnerMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GimenezO16,
  author       = {St{\'{e}}phane Gimenez and
                  David Obwaller},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Interaction Automata and the ia2d Interpreter},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {35:1--35:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.35},
  doi          = {10.4230/LIPICS.FSCD.2016.35},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GimenezO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GuerrieriPF16,
  author       = {Giulio Guerrieri and
                  Luc Pellissier and
                  Lorenzo Tortora de Falco},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Computing Connected Proof(-Structure)s From Their Taylor Expansion},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {20:1--20:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.20},
  doi          = {10.4230/LIPICS.FSCD.2016.20},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/GuerrieriPF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Hamana16,
  author       = {Makoto Hamana},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Strongly Normalising Cyclic Data Computation by Iteration Categories
                  of Second-Order Algebraic Theories},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {21:1--21:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.21},
  doi          = {10.4230/LIPICS.FSCD.2016.21},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Hamana16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Hasuo16,
  author       = {Ichiro Hasuo},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Coalgebras and Higher-Order Computation: a GoI Approach},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {2:1--2:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.2},
  doi          = {10.4230/LIPICS.FSCD.2016.2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Hasuo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Huet16,
  author       = {G{\'{e}}rard P. Huet},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Teaching Foundations of Computation and Deduction Through Literate
                  Functional Programming and Type Theory Formalization},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {3:1--3:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.3},
  doi          = {10.4230/LIPICS.FSCD.2016.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Huet16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KahrsS16,
  author       = {Stefan Kahrs and
                  Connor Smith},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Non-Omega-Overlapping TRSs are {UN}},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {22:1--22:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.22},
  doi          = {10.4230/LIPICS.FSCD.2016.22},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KahrsS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KopS16,
  author       = {Cynthia Kop and
                  Jakob Grue Simonsen},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Complexity Hierarchies and Higher-Order Cons-Free Rewriting},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {23:1--23:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.23},
  doi          = {10.4230/LIPICS.FSCD.2016.23},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KopS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Laird16,
  author       = {James Laird},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Weighted Relational Models for Mobility},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {24:1--24:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.24},
  doi          = {10.4230/LIPICS.FSCD.2016.24},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Laird16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Laurent16,
  author       = {Olivier Laurent},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Focusing in Orthologic},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {25:1--25:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.25},
  doi          = {10.4230/LIPICS.FSCD.2016.25},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Laurent16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LibalM16,
  author       = {Tomer Libal and
                  Dale Miller},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Functions-as-Constructors Higher-Order Unification},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {26:1--26:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.26},
  doi          = {10.4230/LIPICS.FSCD.2016.26},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LibalM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/MalbosM16,
  author       = {Philippe Malbos and
                  Samuel Mimram},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Homological Computations for Term Rewriting Systems},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {27:1--27:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.27},
  doi          = {10.4230/LIPICS.FSCD.2016.27},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/MalbosM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Nipkow16,
  author       = {Tobias Nipkow},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Verified Analysis of Functional Data Structures},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {4:1--4:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.4},
  doi          = {10.4230/LIPICS.FSCD.2016.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Nipkow16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/OostromT16,
  author       = {Vincent van Oostrom and
                  Yoshihito Toyama},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Normalisation by Random Descent},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {32:1--32:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.32},
  doi          = {10.4230/LIPICS.FSCD.2016.32},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/OostromT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/RappM16,
  author       = {Franziska Rapp and
                  Aart Middeldorp},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground
                  Rewrite Systems},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {36:1--36:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.36},
  doi          = {10.4230/LIPICS.FSCD.2016.36},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/RappM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SternagelS16,
  author       = {Christian Sternagel and
                  Thomas Sternagel},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata
                  Completion},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {29:1--29:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.29},
  doi          = {10.4230/LIPICS.FSCD.2016.29},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SternagelS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Timany016,
  author       = {Amin Timany and
                  Bart Jacobs},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Category Theory in Coq 8.5},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {30:1--30:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.30},
  doi          = {10.4230/LIPICS.FSCD.2016.30},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Timany016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Traytel16,
  author       = {Dmitriy Traytel},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Formal Languages, Formally and Coinductively},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {31:1--31:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.31},
  doi          = {10.4230/LIPICS.FSCD.2016.31},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Traytel16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Vries16,
  author       = {Fer{-}Jan de Vries},
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {On Undefined and Meaningless in Lambda Definability},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {18:1--18:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.18},
  doi          = {10.4230/LIPICS.FSCD.2016.18},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Vries16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/X16,
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {Front Matter, Table of Contents, Preface, Steering Committee, Program
                  Committee, External Reviewers, Organising Commitee},
  booktitle    = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  pages        = {0:i--0:xviii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2016.0},
  doi          = {10.4230/LIPICS.FSCD.2016.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/X16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2016,
  editor       = {Delia Kesner and
                  Brigitte Pientka},
  title        = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
  series       = {LIPIcs},
  volume       = {52},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-010-1},
  isbn         = {978-3-95977-010-1},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.