default search action
FICS 2009: Coimbra, Portugal
- Ralph Matthes, Tarmo Uustalu:
6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. Institute of Cybernetics 2009, ISBN 978-9949-430-29-1
Invited Talks
- Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond:
Pola: A Language for PTIME Programming. 7-8 - Javier Esparza, Stefan Kiefer, Michael Luttenberger:
Solving Fixed-Point Equations on omega-Continuous Semirings. 9 - Yde Venema:
Fixpoint Logics and Automata: A Coalgebraic Approach. 10
Contributed Talks
- Loredana Afanasiev, Balder ten Cate:
On Core XPath with Inflationary Fixed Points. 11-17 - Lars Birkedal, Kristian Støvring, Jacob Thamsborg:
Solutions of Generalized Recursive Metric-Space Equations. 18-24 - Stephen L. Bloom, Zoltán Ésik:
Scattered Algebraic Linear Orderings. 25-29 - Balder ten Cate, Gaëlle Fontaine:
An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. 30-38 - Pierre Clairambault:
Least and Greatest Fixpoints in Game Semantics. 39-45 - Martin Hofmann, Dulma Rodriguez:
Membership Checking in Greatest Fixpoints Revisited. 46-53 - Stephan Kreutzer, Martin Lange:
A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. 54-60 - Robert S. R. Myers:
Coalgebraic Expressions. 61-69 - Omer Landry Nguena-Timo, Pierre-Alain Reynier:
On Characteristic Formulae for Event-Recording Automata. 70-78 - Milad Niqui, Jan Rutten:
Coinductive Predicates as Final Coalgebras. 79-85 - Pawel Parys:
Lower Bound for Evaluation of mu-nu Fixpoint. 86-92 - Daniel Stamate:
A Bilattice Based Fixed Point Semantics for Integrating Imperfect Information. 93-99 - Kohtaro Tadaki:
Fixed Points on Partial Randomness. 100-107 - Yoshinori Tanabe, Masami Hagiya:
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. 108-115 - Lionel Vaux:
A Non-uniform Finitary Relational Semantics of System T. 116-123
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-19 22:18 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: