default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/fics:"
download as .bib file
@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}
}
@inproceedings{DBLP:journals/corr/Berardid13,
author = {Stefano Berardi and
Ugo de'Liguoro},
editor = {David Baelde and
Arnaud Carayol},
title = {Non-monotonic Pre-fixed Points and Learning},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {1--10},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.1},
doi = {10.4204/EPTCS.126.1},
timestamp = {Sun, 06 Oct 2024 21:22:35 +0200},
biburl = {https://dblp.org/rec/journals/corr/Berardid13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cirstea13,
author = {Corina C{\^{\i}}rstea},
editor = {David Baelde and
Arnaud Carayol},
title = {From Branching to Linear Time, Coalgebraically},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {11--27},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.2},
doi = {10.4204/EPTCS.126.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cirstea13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GrathwohlHK13,
author = {Niels Bj{\o}rn Bugge Grathwohl and
Fritz Henglein and
Dexter Kozen},
editor = {David Baelde and
Arnaud Carayol},
title = {Infinitary Axiomatization of the Equational Theory of Context-Free
Languages},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {44--55},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.4},
doi = {10.4204/EPTCS.126.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrathwohlHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MatsikoudisL13,
author = {Eleftherios Matsikoudis and
Edward A. Lee},
editor = {David Baelde and
Arnaud Carayol},
title = {The Fixed-Point Theory of Strictly Contracting Functions on Generalized
Ultrametric Semilattices},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {56--71},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.5},
doi = {10.4204/EPTCS.126.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MatsikoudisL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiliusL13,
author = {Stefan Milius and
Tadeusz Litak},
editor = {David Baelde and
Arnaud Carayol},
title = {Guard Your Daggers and Traces: On The Equational Properties of Guarded
(Co-)recursion},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {72--86},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.6},
doi = {10.4204/EPTCS.126.6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MioS13,
author = {Matteo Mio and
Alex Simpson},
editor = {David Baelde and
Arnaud Carayol},
title = {{\L}ukasiewicz mu-Calculus},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {87--104},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.7},
doi = {10.4204/EPTCS.126.7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MioS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SantoMP13,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Ralph Matthes and
Lu{\'{\i}}s Pinto},
editor = {David Baelde and
Arnaud Carayol},
title = {A Coinductive Approach to Proof Search},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {28--43},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.3},
doi = {10.4204/EPTCS.126.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SantoMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BaeldeC13,
editor = {David Baelde and
Arnaud Carayol},
title = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126},
doi = {10.4204/EPTCS.126},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaeldeC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3496,
author = {Andreas Abel},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive
Types},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {1--11},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.1},
doi = {10.4204/EPTCS.77.1},
timestamp = {Sat, 09 Apr 2022 12:27:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3497,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Characteristic Formulae for Relations with Nested Fixed Points},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {15--22},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.3},
doi = {10.4204/EPTCS.77.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3498,
author = {Axel Haddad},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {{IO} vs {OI} in Higher-Order Recursion Schemes},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {23--30},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.4},
doi = {10.4204/EPTCS.77.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3499,
author = {Andr{\'{e}} Hirschowitz and
Marco Maggesi},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Initial Semantics for Strengthened Signatures},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {31--38},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.5},
doi = {10.4204/EPTCS.77.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3500,
author = {Martin Lange and
{\'{E}}tienne Lozes},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Model-Checking the Higher-Dimensional Modal mu-Calculus},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {39--46},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.6},
doi = {10.4204/EPTCS.77.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3501,
author = {Grigori Mints and
Thomas Studer},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Cut-elimination for the mu-calculus with one variable},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {47--54},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.7},
doi = {10.4204/EPTCS.77.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-3502,
author = {Tarmo Uustalu},
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Structured general corecursion and coinductive graphs [extended abstract]},
booktitle = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
pages = {55--61},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77.8},
doi = {10.4204/EPTCS.77.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1202-3174,
editor = {Dale Miller and
Zolt{\'{a}}n {\'{E}}sik},
title = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
2012, Tallinn, Estonia, 24th March 2012},
series = {{EPTCS}},
volume = {77},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.77},
doi = {10.4204/EPTCS.77},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BirkedalSS10,
author = {Lars Birkedal and
Jan Schwinghammer and
Kristian St{\o}vring},
editor = {Luigi Santocanale},
title = {A Metric Model of Lambda Calculus with Guarded Recursion},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {19--25},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=20},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/BirkedalSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BirkedalSS10a,
author = {Lars Birkedal and
Jan Schwinghammer and
Kristian St{\o}vring},
editor = {Luigi Santocanale},
title = {A Step-Indexed Kripke Model of Hidden State via Recursive Properties
on Recursively Defined Metric Spaces},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {27--33},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=28},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/BirkedalSS10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Carayol10,
author = {Arnaud Carayol},
editor = {Luigi Santocanale},
title = {Structures Defined by Higher-Order Recursion Schemes},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {7},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=8},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Carayol10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Czarnecki10,
author = {Marek Czarnecki},
editor = {Luigi Santocanale},
title = {How Fast Can the Fixpoints in Modal mu-Calculus Be Reached?},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {35--39},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=36},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Czarnecki10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Grall10,
author = {Herv{\'{e}} Grall},
editor = {Luigi Santocanale},
title = {Proving Fixed Points},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {41--46},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=42},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Grall10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Levy10,
author = {Paul Blain Levy},
editor = {Luigi Santocanale},
title = {Characterizing Recursive Programs up to Bisimilarity},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {47--52},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=48},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Levy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Miller10,
author = {Dale Miller},
editor = {Luigi Santocanale},
title = {Fixed Points and Proof Theory: An Extended Abstract},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {9--16},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=10},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Miller10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Mio10,
author = {Matteo Mio},
editor = {Luigi Santocanale},
title = {The Equivalence of Game and Denotational Semantics for the Probabilistic
mu-Calculus},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {53--59},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=54},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Mio10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Nakata10,
author = {Keiko Nakata},
editor = {Luigi Santocanale},
title = {Denotational Semantics for Lazy Initialization of letrec},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {61--67},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=62},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Nakata10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Romashchenko10,
author = {Andrei E. Romashchenko},
editor = {Luigi Santocanale},
title = {Fixed Point Argument and Tilings without Long Range Order},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {69--75},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=70},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Romashchenko10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Rondogiannis10,
author = {Panos Rondogiannis},
editor = {Luigi Santocanale},
title = {Fixed-Point Semantics for Non-Monotonic Formalisms},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {17},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=18},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Rondogiannis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Uustalu10,
author = {Tarmo Uustalu},
editor = {Luigi Santocanale},
title = {A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized
Fixpoint Operators},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {77--82},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=78},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Uustalu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Waszkiewicz10,
author = {Pawel Waszkiewicz},
editor = {Luigi Santocanale},
title = {Common Patterns for Metric and Ordered Fixed Point Theorems},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {83--87},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=84},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Waszkiewicz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2010,
editor = {Luigi Santocanale},
title = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/AfanasievC09,
author = {Loredana Afanasiev and
Balder ten Cate},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {On Core XPath with Inflationary Fixed Points},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {11--17},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/AfanasievC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BirkedalST09,
author = {Lars Birkedal and
Kristian St{\o}vring and
Jacob Thamsborg},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Solutions of Generalized Recursive Metric-Space Equations},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {18--24},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BirkedalST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BloomE09,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Scattered Algebraic Linear Orderings},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {25--29},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BloomE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BurrellCR09,
author = {Michael J. Burrell and
J. Robin B. Cockett and
Brian F. Redmond},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Pola: {A} Language for {PTIME} Programming},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {7--8},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BurrellCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/CateF09,
author = {Balder ten Cate and
Ga{\"{e}}lle Fontaine},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {30--38},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib4.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/CateF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Clairambault09,
author = {Pierre Clairambault},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Least and Greatest Fixpoints in Game Semantics},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {39--45},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib5.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Clairambault09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/EsparzaKL09,
author = {Javier Esparza and
Stefan Kiefer and
Michael Luttenberger},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Solving Fixed-Point Equations on omega-Continuous Semirings},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {9},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/EsparzaKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/HofmannR09,
author = {Martin Hofmann and
Dulma Rodriguez},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Membership Checking in Greatest Fixpoints Revisited},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {46--53},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib6.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/HofmannR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/KreutzerL09,
author = {Stephan Kreutzer and
Martin Lange},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {A Note on the Relation between Inflationary Fixpoints and Least Fixpoints
of Higher Order},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {54--60},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib7.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/KreutzerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Myers09,
author = {Robert S. R. Myers},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Coalgebraic Expressions},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {61--69},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib8.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Myers09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Nguena-TimoR09,
author = {Omer Landry Nguena{-}Timo and
Pierre{-}Alain Reynier},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {On Characteristic Formulae for Event-Recording Automata},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {70--78},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib9.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Nguena-TimoR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/NiquiR09,
author = {Milad Niqui and
Jan Rutten},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Coinductive Predicates as Final Coalgebras},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {79--85},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib10.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/NiquiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Parys09,
author = {Pawel Parys},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Lower Bound for Evaluation of mu-nu Fixpoint},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {86--92},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib11.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Parys09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Stamate09,
author = {Daniel Stamate},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {A Bilattice Based Fixed Point Semantics for Integrating Imperfect
Information},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {93--99},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib12.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Stamate09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Tadaki09,
author = {Kohtaro Tadaki},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Fixed Points on Partial Randomness},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {100--107},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib13.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Tadaki09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/TanabeH09,
author = {Yoshinori Tanabe and
Masami Hagiya},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Fixed-Point Computations over Functions on Integers with Operations
min, max and plus},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {108--115},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib14.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/TanabeH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Vaux09,
author = {Lionel Vaux},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {A Non-uniform Finitary Relational Semantics of System {T}},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {116--123},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib15.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Vaux09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Venema09,
author = {Yde Venema},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {Fixpoint Logics and Automata: {A} Coalgebraic Approach},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {10},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/invited3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Venema09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2009,
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/},
isbn = {978-9949-430-29-1},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/AbelM03,
author = {Andreas Abel and
Ralph Matthes},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Primitive Recursion for Rank-2 Inductive Types},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {1--3},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=6},
timestamp = {Tue, 04 Aug 2020 15:14:17 +0200},
biburl = {https://dblp.org/rec/conf/fics/AbelM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/ArnoldS03,
author = {Andr{\'{e}} Arnold and
Luigi Santocanale},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {4--13},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=9},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/ArnoldS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/DanosD03,
author = {Vincent Danos and
Jos{\'{e}}e Desharnais},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {A Fixpoint Logic for Labeled Markov Processes},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {14--18},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=19},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/DanosD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Dominguez03,
author = {Lu{\'{\i}}s Dominguez},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {A Bisimilarity Logical Relation for the Object Calculus {S}},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {19--31},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=24},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Dominguez03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/GhaniU03,
author = {Neil Ghani and
Tarmo Uustalu},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Coproducts of Ideal Monads (Extended Abstract)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {32--36},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=37},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/GhaniU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Gradel03,
author = {Erich Gr{\"{a}}del},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Inflationary and Deflationary Fixed Points (Invited Talk)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {37--41},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=42},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Gradel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Grohe03,
author = {Martin Grohe},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Monadic Datalog on Trees (Invited Talk)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {42--43},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=47},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Grohe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Jurgensen03,
author = {Claus J{\"{u}}rgensen},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Monadic Fusion of Functional Programs},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {44--63},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=49},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Jurgensen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/MoggiS03,
author = {Eugenio Moggi and
Amr Sabry},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {An Abstract Monadic Semantics for Value Recursion},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {64--79},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=69},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/MoggiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Niwinski03,
author = {Damian Niwinski},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {Hierarchies in mu-Calculus (Invited Talk)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {80},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=85},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Niwinski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/UustaluV03,
author = {Tarmo Uustalu and
Varmo Vene},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {An Alternative Characterization of Complete Iterativeness (Extended
Abstract)},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {81--83},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=86},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/UustaluV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2003,
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf},
timestamp = {Tue, 04 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Aceto02,
author = {Luca Aceto},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Kleene through the process algebraic glass},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {20--21},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 11:03:16 +0100},
biburl = {https://dblp.org/rec/conf/fics/Aceto02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/AdamekMV02,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Parametric corecursion and completely iterative monads},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {2--5},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/AdamekMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BentonH02,
author = {Nick Benton and
Martin Hyland},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Traced pre-monoidal categories},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {12--19},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BentonH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/BoudolZ02,
author = {G{\'{e}}rard Boudol and
Pascal Zimmer},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Recursion in the call-by-value lambda-calculus},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {61--66},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/BoudolZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Devereux02,
author = {Benet Devereux},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Strong next-time operators for multiple-valued mu-calculus},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {40--43},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Devereux02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/GhaniLM02,
author = {Neil Ghani and
Christoph L{\"{u}}th and
Federico De Marchi},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Coalgebraic approaches to algebraic terms},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {6--8},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/GhaniLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/JensenPR02,
author = {Thomas P. Jensen and
Florimond Ployette and
Olivier Ridoux},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Iteration schemes for fixed point calculation},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {69--76},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Mon, 04 Apr 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/JensenPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Korovina02,
author = {Margarita V. Korovina},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Fixed points on abstract structures without the equality test},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {58--60},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Korovina02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Kozen02,
author = {Dexter Kozen},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On two letters versus three},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {44--50},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Kozen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Labella02,
author = {Anna Labella},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Kleene's (unary) star in nondeterministic context},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {67--68},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Labella02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Leiss02,
author = {Hans Lei{\ss}},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Kleenean semimodules and linear languages},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {51--53},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Leiss02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Santocanale02,
author = {Luigi Santocanale},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Congruences of modal {\(\mathrm{\mu}\)}-algebras},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {77--81},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Santocanale02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/ShilovG02,
author = {Nikolay V. Shilov and
Natalya Olegovna Garanina},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Model checking knowledge and fixpoints},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {25--39},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/ShilovG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/SprengerD02,
author = {Christoph Sprenger and
Mads Dam},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A note on global induction in a mu-calculus with explicit approximations},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {22--24},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/SprengerD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Uustalu02,
author = {Tarmo Uustalu},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Generalizing substitution},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {9--11},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Uustalu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Winskel02,
author = {Glynn Winskel},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Calculus for categories},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {1},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Winskel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Zhang02,
author = {Guo{-}Qiang Zhang},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Decidable fragments of domain mu-calculus: an automata-theoretic perspective},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {54--57},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Zhang02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics/2002,
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Tue, 11 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-11 21:53 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
