FICS

Keyphrases

Publications

2015

Martin Lange
The Arity Hierarchy in the Polyadic μ-Calculus. FICS (2015)
Henning Basold
Dependent Inductive and Coinductive Types are Fibrational Dialgebras. FICS (2015)
Dilian Gurov, Minko Markov
Self-Correlation and Maximum Independence in Finite Relations. FICS (2015)
Étienne Lozes
A Type-Directed Negation Elimination. FICS (2015)
Karoliina Lehtinen
Disjunctive form and the modal μ alternation hierarchy. FICS (2015)
Paolo Torrini, Tom Schrijvers
Reasoning about modular datatypes with Mendler induction. FICS (2015)
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. FICS (2015)
Naohi Eguchi
Formalizing Termination Proofs under Polynomial Quasi-interpretations. FICS (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras for Energy Problems. FICS (2015)
Makoto Hamana
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation. FICS (2015)
Helle Hvid Hansen, Clemens Kupke
Weak Completeness of Coalgebraic Dynamic Logics. FICS (2015)

volume 191, 2015

Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. FICS 191 (2015)

2013

volume 126, 2013

Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013. FICS 126 (2013)

2012

volume 77, 2012

Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. FICS 77 (2012)

2010

2009