EPTCS 77 - FICS 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3174
- ask others
Dale Miller, Zoltán Ésik (Eds.): Proceedings 8th Workshop on Fixed Points in Computer Science. 2012 EPTCS 77 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3496
- ask others
Andreas Abel: Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types. ... 1-11
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3497
- ask others
Luca Aceto, Anna Ingólfsdóttir: Characteristic Formulae for Relations with Nested Fixed Points. ... 15-22
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3498
- ask others
Axel Haddad: IO vs OI in Higher-Order Recursion Schemes. ... 23-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3499
- ask others
André Hirschowitz, Marco Maggesi: Initial Semantics for Strengthened Signatures. ... 31-38
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3500
- ask others
Martin Lange, Étienne Lozes: Model-Checking the Higher-Dimensional Modal mu-Calculus. ... 39-46
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3501
- ask others
Grigori Mints, Thomas Studer: Cut-elimination for the mu-calculus with one variable. ... 47-54
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-3502
- ask others
Tarmo Uustalu: Structured general corecursion and coinductive graphs [extended abstract]. ... 55-61