Travelled to:1 × Italy
1 × USA
Collaborated with:∅ L.Hella L.Libkin L.Wong
Talks about:quantifi (1) modulo (1) linear (1) aggreg (1) order (1) logic (1) finit (1) count (1) tree (1) oper (1)
Person: Juha Nurmonen
DBLP: Nurmonen:Juha
Contributed to:
19991996Wrote 2 papers:
- LICS-1999-HellaLNW #logic
- Logics with Aggregate Operators (LH, LL, JN, LW), pp. 35–44.
- LICS-1996-Nurmonen #finite #order #quantifier
- Counting Modulo Quantifiers on Finite Linearly Ordered Trees (JN), pp. 484–493.