UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:       
 
 Layout
 
printable version

 
 
Adámek, Jirí ; Bowler, Nathan ; Levy, Paul B. ; Milius, Stefan:
Coproducts of Monads on Set.
In: Dershowitz, Nachum (Ed.) : Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12)
(LICS 2012, Dubrovnik, 25.-28.06.2012).
Dubrovnik : IEEE Computer Society, 2012, pp 45-54. (Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on) - ISBN 978-1-4673-2263-8
[doi>10.1109/LICS.2012.16]

Institution: Chair of Computer Science 8 (Theoretical Computer Science)
UnivIS is a product of Config eG, Buckenhof