External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

Natsuki Urabe, Ichiro Hasuo. Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. In Corina Cîrstea, editor, Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers. Volume 11202 of Lecture Notes in Computer Science, pages 214-234, Springer, 2018. [doi]

Authors

Natsuki Urabe

This author has not been identified. Look up 'Natsuki Urabe' in Google

Ichiro Hasuo

This author has not been identified. Look up 'Ichiro Hasuo' in Google
runs on