Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs191.bht:"
@inproceedings{DBLP:journals/corr/Basold15, author = {Henning Basold}, editor = {Ralph Matthes and Matteo Mio}, title = {Dependent Inductive and Coinductive Types are Fibrational Dialgebras}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {3--17}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.3}, doi = {10.4204/EPTCS.191.3}, timestamp = {Sun, 02 Oct 2022 15:31:45 +0200}, biburl = {https://dblp.org/rec/journals/corr/Basold15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CharalambidisRS15, author = {Angelos Charalambidis and Panos Rondogiannis and Ioanna Symeonidou}, editor = {Ralph Matthes and Matteo Mio}, title = {Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {18--32}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.4}, doi = {10.4204/EPTCS.191.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CharalambidisRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Eguchi15a, author = {Naohi Eguchi}, editor = {Ralph Matthes and Matteo Mio}, title = {Formalizing Termination Proofs under Polynomial Quasi-interpretations}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {33--47}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.5}, doi = {10.4204/EPTCS.191.5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Eguchi15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/EsikFL15a, author = {Zolt{\'{a}}n {\'{E}}sik and Uli Fahrenberg and Axel Legay}, editor = {Ralph Matthes and Matteo Mio}, title = {*-Continuous Kleene {\(\omega\)}-Algebras for Energy Problems}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {48--59}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.6}, doi = {10.4204/EPTCS.191.6}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsikFL15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GurovM15, author = {Dilian Gurov and Minko Markov}, editor = {Ralph Matthes and Matteo Mio}, title = {Self-Correlation and Maximum Independence in Finite Relations}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {60--74}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.7}, doi = {10.4204/EPTCS.191.7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/GurovM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Hamana15, author = {Makoto Hamana}, editor = {Ralph Matthes and Matteo Mio}, title = {Iteration Algebras for UnQL Graphs and Completeness for Bisimulation}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {75--89}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.8}, doi = {10.4204/EPTCS.191.8}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Hamana15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HansenK15, author = {Helle Hvid Hansen and Clemens Kupke}, editor = {Ralph Matthes and Matteo Mio}, title = {Weak Completeness of Coalgebraic Dynamic Logics}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {90--104}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.9}, doi = {10.4204/EPTCS.191.9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/HansenK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Lange15, author = {Martin Lange}, editor = {Ralph Matthes and Matteo Mio}, title = {The Arity Hierarchy in the Polyadic {\(\mu\)}-Calculus}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {105--116}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.10}, doi = {10.4204/EPTCS.191.10}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Lange15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Lehtinen15, author = {Karoliina Lehtinen}, editor = {Ralph Matthes and Matteo Mio}, title = {Disjunctive form and the modal {\(\mu\)} alternation hierarchy}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {117--131}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.11}, doi = {10.4204/EPTCS.191.11}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Lehtinen15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Lozes15, author = {{\'{E}}tienne Lozes}, editor = {Ralph Matthes and Matteo Mio}, title = {A Type-Directed Negation Elimination}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {132--142}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.12}, doi = {10.4204/EPTCS.191.12}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Lozes15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/TorriniS15, author = {Paolo Torrini and Tom Schrijvers}, editor = {Ralph Matthes and Matteo Mio}, title = {Reasoning about modular datatypes with Mendler induction}, booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, pages = {143--157}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191.13}, doi = {10.4204/EPTCS.191.13}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/TorriniS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/MatthesM15, editor = {Ralph Matthes and Matteo Mio}, title = {Proceedings Tenth International Workshop on Fixed Points in Computer Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015}, series = {{EPTCS}}, volume = {191}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.191}, doi = {10.4204/EPTCS.191}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MatthesM15.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.