thinker
active
thinker:ruttenRutten
Cited for work on coalgebras and their connection to transition systems via order theory.
Authored
0
Introduces
0
Studies
0
Affiliations
0
Cited by
0
thinker:ruttenCited for work on coalgebras and their connection to transition systems via order theory.