default search action

combined dblp search
author search
venue search
publication search

ask others

12th FICS@CSL 2024: Naples, Italy

> Home > Conferences and Workshops > FICS
> Home > Conferences and Workshops > CSL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-00626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-00626
Alexis Saurin:
Proceedings Twelfth Workshop on Fixed Points in Computer Science, FICS@CSL 2024, Naples, Italy, 19-20th February 2024. EPTCS 435, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-02594
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-02594
Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh:
The Limit of Recursion in State-based Systems. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-10785
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-10785
Borja Sierra-Miranda:
Cyclic Proofs for iGL via Corecursion. 13-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-01935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-01935
Bahareh Afshari, Johannes Kloibhofer:
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic. 21-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-01840
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-01840
Tadeusz Litak:
Ruitenburg's Theorem mechanized and contextualized. 41-57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-02595
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-02595
Rémy Cerda:
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi. 59-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-13687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-13687
Daniel Hausmann:
Faster Game Solving by Fixpoint Acceleration. 71-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-02596
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-02596
Florian Bruse, David Kronenberger, Martin Lange:
Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints. 81-91
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-02597
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-02597
Leonardo Pacheco:
The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics. 93-103

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.