default search action
Search dblp for Publications
export results for "toc:db/conf/rta/fscd2017.bht:"
@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 = {Sun, 04 Aug 2024 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} }
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.