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.

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

Henning Kerstan, Barbara König, Bram Westerbaan. Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. In Marcello M. Bonsangue, editor, Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Volume 8446 of Lecture Notes in Computer Science, pages 168-188, Springer, 2014. [doi]

Authors

Henning Kerstan

This author has not been identified. Look up 'Henning Kerstan' in Google

Barbara König

This author has not been identified. Look up 'Barbara König' in Google

Bram Westerbaan

This author has not been identified. Look up 'Bram Westerbaan' in Google
runs on