![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FICS 2013: Turin, Italy
- David Baelde, Arnaud Carayol:
Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013. EPTCS 126, 2013 - Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fixed Points and Learning. 1-10 - Corina Cîrstea:
From Branching to Linear Time, Coalgebraically. 11-27 - José Espírito Santo
, Ralph Matthes
, Luís Pinto
:
A Coinductive Approach to Proof Search. 28-43 - Niels Bjørn Bugge Grathwohl
, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. 44-55 - Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. 56-71 - Stefan Milius, Tadeusz Litak
:
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. 72-86 - Matteo Mio
, Alex Simpson:
Łukasiewicz mu-Calculus. 87-104
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.