Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Karoliina Lehtinen |
Disjunctive form and the modal μ alternation hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 117-131, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Lozes |
A Type-Directed Negation Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 132-142, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Torrini, Tom Schrijvers |
Reasoning about modular datatypes with Mendler induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 143-157, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dilian Gurov, Minko Markov |
Self-Correlation and Maximum Independence in Finite Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 60-74, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Naohi Eguchi |
Formalizing Termination Proofs under Polynomial Quasi-interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 33-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 75-89, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou |
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 18-32, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
The Arity Hierarchy in the Polyadic μ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 105-116, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henning Basold |
Dependent Inductive and Coinductive Types are Fibrational Dialgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 3-17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Helle Hvid Hansen, Clemens Kupke |
Weak Completeness of Coalgebraic Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 90-104, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Uli Fahrenberg, Axel Legay |
*-Continuous Kleene ω-Algebras for Energy Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 48-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Matthes, Matteo Mio (eds.) |
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eleftherios Matsikoudis, Edward A. Lee |
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 56-71, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea |
From Branching to Linear Time, Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 11-27, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen |
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 44-55, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Arnaud Carayol (eds.) |
Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Tadeusz Litak |
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 72-86, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
A Coinductive Approach to Proof Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 28-43, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Ugo de'Liguoro |
Non-monotonic Pre-fixed Points and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 1-10, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio, Alex Simpson |
Łukasiewicz mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 87-104, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Structured general corecursion and coinductive graphs [extended abstract] ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 55-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
Characteristic Formulae for Relations with Nested Fixed Points ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 15-22, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001 |
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 1-11, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001, Zoltán Ésik (eds.) |
Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Axel Haddad |
IO vs OI in Higher-Order Recursion Schemes ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 23-30, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Hirschowitz, Marco Maggesi |
Initial Semantics for Strengthened Signatures ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 31-38, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Étienne Lozes |
Model-Checking the Higher-Dimensional Modal mu-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 39-46, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints, Thomas Studer |
Cut-elimination for the mu-calculus with one variable ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012., pp. 47-54, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio |
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 53-59, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Tarmo Uustalu |
A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 77-82, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Lars Birkedal, Jan Schwinghammer, Kristian Støvring |
A Metric Model of Lambda Calculus with Guarded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 19-25, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Arnaud Carayol |
Structures Defined by Higher-Order Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 7, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Pawel Waszkiewicz |
Common Patterns for Metric and Ordered Fixed Point Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 83-87, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Fixed Points and Proof Theory: An Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 9-16, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Keiko Nakata 0001 |
Denotational Semantics for Lazy Initialization of letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 61-67, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Paul Blain Levy |
Characterizing Recursive Programs up to Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 47-52, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Lars Birkedal, Jan Schwinghammer, Kristian Støvring |
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 27-33, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Panos Rondogiannis |
Fixed-Point Semantics for Non-Monotonic Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 17, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Marek Czarnecki |
How Fast Can the Fixpoints in Modal mu-Calculus Be Reached? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 35-39, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Hervé Grall |
Proving Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 41-46, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Andrei E. Romashchenko |
Fixed Point Argument and Tilings without Long Range Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010., pp. 69-75, 2010, Laboratoire d'Informatique Fondamentale de Marseille. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Luigi Santocanale (eds.) |
7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![Laboratoire d'Informatique Fondamentale de Marseille The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Pierre Clairambault |
Least and Greatest Fixpoints in Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 39-45, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Daniel Stamate |
A Bilattice Based Fixed Point Semantics for Integrating Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 93-99, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Balder ten Cate, Gaëlle Fontaine |
An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 30-38, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Robert S. R. Myers |
Coalgebraic Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 61-69, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ralph Matthes, Tarmo Uustalu (eds.) |
6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![Institute of Cybernetics, 978-9949-430-29-1 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Kohtaro Tadaki |
Fixed Points on Partial Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 100-107, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Martin Hofmann 0001, Dulma Rodriguez |
Membership Checking in Greatest Fixpoints Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 46-53, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Yde Venema |
Fixpoint Logics and Automata: A Coalgebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 10, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Stephen L. Bloom, Zoltán Ésik |
Scattered Algebraic Linear Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 25-29, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Omer Landry Nguena-Timo, Pierre-Alain Reynier |
On Characteristic Formulae for Event-Recording Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 70-78, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Loredana Afanasiev, Balder ten Cate |
On Core XPath with Inflationary Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 11-17, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Stephan Kreutzer, Martin Lange |
A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 54-60, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Lionel Vaux |
A Non-uniform Finitary Relational Semantics of System T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 116-123, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Pawel Parys |
Lower Bound for Evaluation of mu-nu Fixpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 86-92, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Yoshinori Tanabe, Masami Hagiya |
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 108-115, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Solutions of Generalized Recursive Metric-Space Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 18-24, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Milad Niqui, Jan Rutten |
Coinductive Predicates as Final Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 79-85, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond |
Pola: A Language for PTIME Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 7-8, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Solving Fixed-Point Equations on omega-Continuous Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 9, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | John V. E. Ridgway, Jack C. Wileden |
Reasoning About Multi-Lingual Exception Handling Using RIPLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 177-189, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Yuefeng Tang |
Rewriting Interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 163-176, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ti Zhou, Mengjun Li, Zhoujun Li 0001, Huowang Chen |
Modeling and Verifying Time Sensitive Security Protocols with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 103-118, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tao Xue, Qichao Xuan |
Proof Search and Counter Model of Positive Minimal Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 87-102, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Haiyan Chen |
Decidability of Weak Bisimilarity for a Subset of BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 241-255, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | H. K. Dai 0001, Kyu-Young Whang, Hung-Chi Su |
Locality of Corner Transformation for Multidimensional Spatial Access Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 133-148, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chenguang Luo, Shengchao Qin |
Separation Logic for Multiple Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 27-40, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luoshan Xu, Xuxin Mao |
Various Constructions of Continuous Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 299-311, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ille, Paul Ruet |
Cyclic Extensions of Order Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 119-132, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhoujun Li, Hua Guo, Xiyong Zhang |
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 257-268, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yixiang Chen, Guo-Qiang Zhang 0001, Prakash Panangaden |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 1, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Pichardie |
Building Certified Static Analysers by Modular Construction of Well-founded Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 225-239, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 149-162, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Bisimilarity of Distributionally Equivalent Markov Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 41-53, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fangping Huang, Manfred Droste, Guo-Qiang Zhang 0001 |
A Monoidal Category of Bifinite Chu Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 285-297, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Jian Lu |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 55-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu |
Checking Emptiness of Non-Deterministic Regular Types with Set Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 191-206, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare, Peter W. O'Hearn |
Separation Logic Semantics for Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 3-25, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mingren Chai, Nan Qu, Ying Jiang |
Tree Process Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 269-284, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mengjun Li, Zhoujun Li 0001, Huowang Chen, Ti Zhou |
A Novel Derivation Framework For Definite Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 71-85, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Meng Sun |
Services and Contracts: Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 207-223, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yixiang Chen, Guo-Qiang Zhang 0001, Prakash Panangaden (eds.) |
Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Luís Dominguez |
A Bisimilarity Logical Relation for the Object Calculus S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 19-31, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Tarmo Uustalu, Varmo Vene |
An Alternative Characterization of Complete Iterativeness (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 81-83, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Vincent Danos, Josée Desharnais |
A Fixpoint Logic for Labeled Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 14-18, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Erich Grädel |
Inflationary and Deflationary Fixed Points (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 37-41, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Damian Niwinski |
Hierarchies in mu-Calculus (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 80, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | André Arnold, Luigi Santocanale |
On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 4-13, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Andreas Abel 0001, Ralph Matthes |
Primitive Recursion for Rank-2 Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 1-3, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Martin Grohe |
Monadic Datalog on Trees (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 42-43, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Zoltán Ésik, Igor Walukiewicz (eds.) |
FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![University of Warsaw The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Claus Jürgensen |
Monadic Fusion of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 44-63, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Eugenio Moggi, Amr Sabry |
An Abstract Monadic Semantics for Value Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 64-79, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Neil Ghani, Tarmo Uustalu |
Coproducts of Ideal Monads (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003., pp. 32-36, 2003, University of Warsaw. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Parametric corecursion and completely iterative monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 2-5, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Margarita V. Korovina |
Fixed points on abstract structures without the equality test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 58-60, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Tarmo Uustalu |
Generalizing substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 9-11, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Christoph Sprenger 0001, Mads Dam |
A note on global induction in a mu-calculus with explicit approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 22-24, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Glynn Winskel |
Calculus for categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings, pp. 1, 2002, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|