FB 3
AG BKB
>
Publikationen
>
Suche
>
Deutsch
English
Suche nach Veröffentlichungen - Detailansicht
Art der Veröffentlichung:
Doktorarbeit
Autor:
Sergey Goncharov
Titel:
Kleene monads
Erscheinungsjahr:
2010
Hochschule:
Universität Bremen
PDF Version:
http://www.informatik.uni-bremen.de/~sergey/kleene_monad_phd.pdf
PostScript Version:
http://www.informatik.uni-bremen.de/~sergey/kleene_monad_phd.ps
Schlagworte:
kleene algebra, computational monads, program equivalence
Status:
Other
Letzte Aktualisierung:
09. 03. 2011
Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
AG BKB
Zuletzt geändert am: 9. Mai 2023