default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFICS 2010: Brno, Czech Republic
- Luigi Santocanale:
7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. Laboratoire d'Informatique Fondamentale de Marseille 2010
Invited Talks
- Arnaud Carayol:
Structures Defined by Higher-Order Recursion Schemes. 7 - Dale Miller:
Fixed Points and Proof Theory: An Extended Abstract. 9-16 - Panos Rondogiannis:
Fixed-Point Semantics for Non-Monotonic Formalisms. 17
Contributed Talks
- Lars Birkedal, Jan Schwinghammer, Kristian Støvring:
A Metric Model of Lambda Calculus with Guarded Recursion. 19-25 - Lars Birkedal, Jan Schwinghammer, Kristian Støvring:
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. 27-33 - Marek Czarnecki:
How Fast Can the Fixpoints in Modal mu-Calculus Be Reached? 35-39 - Hervé Grall:
Proving Fixed Points. 41-46 - Paul Blain Levy:
Characterizing Recursive Programs up to Bisimilarity. 47-52 - Matteo Mio:
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. 53-59 - Keiko Nakata:
Denotational Semantics for Lazy Initialization of letrec. 61-67 - Andrei E. Romashchenko:
Fixed Point Argument and Tilings without Long Range Order. 69-75 - Tarmo Uustalu:
A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators. 77-82 - Pawel Waszkiewicz:
Common Patterns for Metric and Ordered Fixed Point Theorems. 83-87
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 2025-03-01 15:16 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:
