Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Institut fuer Theoretische Informatik, Technische Universitaet Braunschweig, Ger
Elgot Algebras
On coalgebra based on classes
Semantics of Higher-Order Recursion Schemes
Sound and complete axiomatizations of coalgebraic language equivalence
The Category Theoretic Solution of Recursive Program Schemes
No associations
LandOfFree
Stefan Milius does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Stefan Milius, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stefan Milius will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-158921