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
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.