Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions

Henning Kerstan , Barbara König , Bram Westerbaan
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.168-188, ⟨10.1007/978-3-662-44124-4_10⟩
Conference papers hal-01408759v1