Generalizing determinization from automata to coalgebras (Q4913772)
From MaRDI portal
scientific article; zbMATH DE number 6152239
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalizing determinization from automata to coalgebras |
scientific article; zbMATH DE number 6152239 |
Statements
Generalizing determinization from automata to coalgebras (English)
0 references
9 April 2013
0 references
coalgebras
0 references
powerset construction
0 references
linear semantics
0 references
