default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFICS 2003, Warsaw, Poland
- Zoltán Ésik, Igor Walukiewicz:
FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. University of Warsaw 2003 - Andreas Abel, Ralph Matthes:
Primitive Recursion for Rank-2 Inductive Types. 1-3 - André Arnold, Luigi Santocanale:
On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. 4-13 - Vincent Danos, Josée Desharnais:
A Fixpoint Logic for Labeled Markov Processes. 14-18 - Luís Dominguez:
A Bisimilarity Logical Relation for the Object Calculus S. 19-31 - Neil Ghani, Tarmo Uustalu:
Coproducts of Ideal Monads (Extended Abstract). 32-36 - Erich Grädel:
Inflationary and Deflationary Fixed Points (Invited Talk). 37-41 - Martin Grohe:
Monadic Datalog on Trees (Invited Talk). 42-43 - Claus Jürgensen:
Monadic Fusion of Functional Programs. 44-63 - Eugenio Moggi, Amr Sabry:
An Abstract Monadic Semantics for Value Recursion. 64-79 - Damian Niwinski:
Hierarchies in mu-Calculus (Invited Talk). 80 - Tarmo Uustalu, Varmo Vene:
An Alternative Characterization of Complete Iterativeness (Extended Abstract). 81-83
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.
last updated on 2024-12-10 20:51 CET 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:
