Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/rta/0001TK17,
  author       = {Takahito Aoto and
                  Yoshihito Toyama and
                  Yuta Kimura},
  editor       = {Dale Miller},
  title        = {Improving Rewriting Induction Approach for Proving Ground Confluence},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {7:1--7:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.7},
  doi          = {10.4230/LIPICS.FSCD.2017.7},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/0001TK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/AhrensL17,
  author       = {Benedikt Ahrens and
                  Peter LeFanu Lumsdaine},
  editor       = {Dale Miller},
  title        = {Displayed Categories},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {5:1--5:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.5},
  doi          = {10.4230/LIPICS.FSCD.2017.5},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/AhrensL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Akama17,
  author       = {Yohji Akama},
  editor       = {Dale Miller},
  title        = {The Confluent Terminating Context-Free Substitutive Rewriting System
                  for the lambda-Calculus with Surjective Pairing and Terminal Type},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {6:1--6:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.6},
  doi          = {10.4230/LIPICS.FSCD.2017.6},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Akama17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Bahr17,
  author       = {Patrick Bahr},
  editor       = {Dale Miller},
  title        = {B{\"{o}}hm Reduction in Infinitary Term Graph Rewriting Systems},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {8:1--8:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.8},
  doi          = {10.4230/LIPICS.FSCD.2017.8},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Bahr17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BarenbaumB17,
  author       = {Pablo Barenbaum and
                  Eduardo Bonelli},
  editor       = {Dale Miller},
  title        = {Optimality and the Linear Substitution Calculus},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {9:1--9:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.9},
  doi          = {10.4230/LIPICS.FSCD.2017.9},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BarenbaumB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BiernackaCZ17,
  author       = {Malgorzata Biernacka and
                  Witold Charatonik and
                  Klara Zielinska},
  editor       = {Dale Miller},
  title        = {Generalized Refocusing: From Hybrid Strategies to Abstract Machines},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {10:1--10:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.10},
  doi          = {10.4230/LIPICS.FSCD.2017.10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BiernackaCZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BlanchetteFT17,
  author       = {Jasmin Christian Blanchette and
                  Mathias Fleury and
                  Dmitriy Traytel},
  editor       = {Dale Miller},
  title        = {Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in
                  Isabelle/HOL},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {11:1--11:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.11},
  doi          = {10.4230/LIPICS.FSCD.2017.11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BlanchetteFT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CastellanCW17,
  author       = {Simon Castellan and
                  Pierre Clairambault and
                  Glynn Winskel},
  editor       = {Dale Miller},
  title        = {Observably Deterministic Concurrent Strategies and Intensional Full
                  Abstraction for Parallel-or},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {12:1--12:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.12},
  doi          = {10.4230/LIPICS.FSCD.2017.12},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CastellanCW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/CockettL17,
  author       = {J. Robin B. Cockett and
                  Jean{-}Simon Lemay},
  editor       = {Dale Miller},
  title        = {There Is Only One Notion of Differentiation},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {13:1--13:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.13},
  doi          = {10.4230/LIPICS.FSCD.2017.13},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/CockettL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Czajka17,
  author       = {Lukasz Czajka},
  editor       = {Dale Miller},
  title        = {Confluence of an Extension of Combinatory Logic by Boolean Constants},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {14:1--14:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.14},
  doi          = {10.4230/LIPICS.FSCD.2017.14},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Czajka17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/DudenhefnerR17,
  author       = {Andrej Dudenhefner and
                  Jakob Rehof},
  editor       = {Dale Miller},
  title        = {The Complexity of Principal Inhabitation},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {15:1--15:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.15},
  doi          = {10.4230/LIPICS.FSCD.2017.15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DudenhefnerR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/FioreS17,
  author       = {Marcelo Fiore and
                  Philip Saville},
  editor       = {Dale Miller},
  title        = {List Objects with Algebraic Structure},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {16:1--16:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.16},
  doi          = {10.4230/LIPICS.FSCD.2017.16},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/FioreS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Gaboardi17,
  author       = {Marco Gaboardi},
  editor       = {Dale Miller},
  title        = {Type Systems for the Relational Verification of Higher Order Programs
                  (Invited Talk)},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {1:1--1:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.1},
  doi          = {10.4230/LIPICS.FSCD.2017.1},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Gaboardi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/GuerriniS17,
  author       = {Stefano Guerrini and
                  Marco Solieri},
  editor       = {Dale Miller},
  title        = {Is the Optimal Implementation Inefficient? Elementarily Not},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {17:1--17:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.17},
  doi          = {10.4230/LIPICS.FSCD.2017.17},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GuerriniS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HillerstromLAS17,
  author       = {Daniel Hillerstr{\"{o}}m and
                  Sam Lindley and
                  Robert Atkey and
                  K. C. Sivaramakrishnan},
  editor       = {Dale Miller},
  title        = {Continuation Passing Style for Effect Handlers},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {18:1--18:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.18},
  doi          = {10.4230/LIPICS.FSCD.2017.18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HillerstromLAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/HirokawaMSW17,
  author       = {Nao Hirokawa and
                  Aart Middeldorp and
                  Christian Sternagel and
                  Sarah Winkler},
  editor       = {Dale Miller},
  title        = {Infinite Runs in Abstract Completion},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {19:1--19:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.19},
  doi          = {10.4230/LIPICS.FSCD.2017.19},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/HirokawaMSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/IntrigilaMP17,
  author       = {Benedetto Intrigila and
                  Giulio Manzonetto and
                  Andrew Polonsky},
  editor       = {Dale Miller},
  title        = {Refutation of Sall{\'{e}}'s Longstanding Conjecture},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {20:1--20:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.20},
  doi          = {10.4230/LIPICS.FSCD.2017.20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/IntrigilaMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KaiserPS17,
  author       = {Jonas Kaiser and
                  Brigitte Pientka and
                  Gert Smolka},
  editor       = {Dale Miller},
  title        = {Relating System {F} and Lambda2: {A} Case Study in Coq, Abella and
                  Beluga},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {21:1--21:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.21},
  doi          = {10.4230/LIPICS.FSCD.2017.21},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KaiserPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KanovichKMS17,
  author       = {Max I. Kanovich and
                  Stepan L. Kuznetsov and
                  Glyn Morrill and
                  Andre Scedrov},
  editor       = {Dale Miller},
  title        = {A Polynomial-Time Algorithm for the Lambek Calculus with Brackets
                  of Bounded Order},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {22:1--22:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.22},
  doi          = {10.4230/LIPICS.FSCD.2017.22},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KanovichKMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KawamuraS17,
  author       = {Akitoshi Kawamura and
                  Florian Steinberg},
  editor       = {Dale Miller},
  title        = {Polynomial Running Times for Polynomial-Time Oracle Machines},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {23:1--23:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.23},
  doi          = {10.4230/LIPICS.FSCD.2017.23},
  timestamp    = {Mon, 02 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/KawamuraS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KesnerV17,
  author       = {Delia Kesner and
                  Pierre Vial},
  editor       = {Dale Miller},
  title        = {Types as Resources for Classical Natural Deduction},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {24:1--24:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.24},
  doi          = {10.4230/LIPICS.FSCD.2017.24},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KesnerV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LicataSR17,
  author       = {Daniel R. Licata and
                  Michael Shulman and
                  Mitchell Riley},
  editor       = {Dale Miller},
  title        = {A Fibrational Framework for Substructural and Modal Logics},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {25:1--25:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.25},
  doi          = {10.4230/LIPICS.FSCD.2017.25},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/LicataSR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LichtmanH17,
  author       = {Benjamin Lichtman and
                  Jan Hoffmann},
  editor       = {Dale Miller},
  title        = {Arrays and References in Resource Aware {ML}},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {26:1--26:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.26},
  doi          = {10.4230/LIPICS.FSCD.2017.26},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LichtmanH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LitakPR17,
  author       = {Tadeusz Litak and
                  Miriam Polzer and
                  Ulrich Rabenstein},
  editor       = {Dale Miller},
  title        = {Negative Translations and Normal Modality},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {27:1--27:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.27},
  doi          = {10.4230/LIPICS.FSCD.2017.27},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/LitakPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Moser17,
  author       = {Georg Moser},
  editor       = {Dale Miller},
  title        = {Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited
                  Talk)},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {2:1--2:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.2},
  doi          = {10.4230/LIPICS.FSCD.2017.2},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Moser17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/OrtonP17,
  author       = {Ian Orton and
                  Andrew M. Pitts},
  editor       = {Dale Miller},
  title        = {Models of Type Theory Based on Moore Paths},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {28:1--28:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.28},
  doi          = {10.4230/LIPICS.FSCD.2017.28},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/OrtonP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Pistone17,
  author       = {Paolo Pistone},
  editor       = {Dale Miller},
  title        = {On Dinaturality, Typability and beta-eta-Stable Models},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {29:1--29:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.29},
  doi          = {10.4230/LIPICS.FSCD.2017.29},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Pistone17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/PradicR17,
  author       = {C{\'{e}}cilia Pradic and
                  Colin Riba},
  editor       = {Dale Miller},
  title        = {A Curry-Howard Approach to Church's Synthesis},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {30:1--30:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.30},
  doi          = {10.4230/LIPICS.FSCD.2017.30},
  timestamp    = {Wed, 13 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/PradicR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Silva17,
  author       = {Alexandra Silva},
  editor       = {Dale Miller},
  title        = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages
                  (Invited Talk)},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {3:1--3:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.3},
  doi          = {10.4230/LIPICS.FSCD.2017.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Silva17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Strassburger17,
  author       = {Lutz Stra{\ss}burger},
  editor       = {Dale Miller},
  title        = {Combinatorial Flows and Their Normalisation},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {31:1--31:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.31},
  doi          = {10.4230/LIPICS.FSCD.2017.31},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Strassburger17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/SuzukiF0T17,
  author       = {Ryota Suzuki and
                  Koichi Fujima and
                  Naoki Kobayashi and
                  Takeshi Tsukada},
  editor       = {Dale Miller},
  title        = {Streett Automata Model Checking of Higher-Order Recursion Schemes},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {32:1--32:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.32},
  doi          = {10.4230/LIPICS.FSCD.2017.32},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SuzukiF0T17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Tasson17,
  author       = {Christine Tasson},
  editor       = {Dale Miller},
  title        = {Quantitative Semantics for Probabilistic Programming (Invited Talk)},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {4:1--4:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.4},
  doi          = {10.4230/LIPICS.FSCD.2017.4},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Tasson17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/X17,
  editor       = {Dale Miller},
  title        = {Front Matter, Table of Contents, Preface, Steering Committee, Program
                  Committee, External Reviewers},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {0:i--0:xiv},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.0},
  doi          = {10.4230/LIPICS.FSCD.2017.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/X17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Zeilberger17,
  author       = {Noam Zeilberger},
  editor       = {Dale Miller},
  title        = {A Sequent Calculus for a Semi-Associative Law},
  booktitle    = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  pages        = {33:1--33:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSCD.2017.33},
  doi          = {10.4230/LIPICS.FSCD.2017.33},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Zeilberger17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rta/2017,
  editor       = {Dale Miller},
  title        = {2nd International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
  series       = {LIPIcs},
  volume       = {84},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-047-7},
  isbn         = {978-3-95977-047-7},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/2017.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.