![](/img/cover-not-exists.png)
[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Fixed Point Combinators and Clocked Böhm Trees
Endrullis, Jörg, Hendriks, Dimitri, Klop, Jan WillemYear:
2010
Language:
english
DOI:
10.1109/lics.2010.8
File:
PDF, 390 KB
english, 2010