2009 | ||
---|---|---|
3 | EE | Juha Kontinen: A logical characterization of the counting hierarchy. ACM Trans. Comput. Log. 10(1): (2009) |
2008 | ||
2 | EE | Juha Kontinen, Heribert Vollmer: On Second-Order Monadic Groupoidal Quantifiers. WoLLIC 2008: 238-248 |
1 | EE | Juha Kontinen, Jakub Szymanik: A Remark on Collective Quantification. Journal of Logic, Language and Information 17(2): 131-140 (2008) |
1 | Jakub Szymanik | [1] |
2 | Heribert Vollmer | [2] |