Travelled to:1 × Finland
1 × Germany
1 × Japan
1 × USA
Collaborated with:∅ J.A.Makowsky E.Grädel
Talks about:constraint (2) complex (2) combinatori (1) metafinit (1) transpar (1) properti (1) function (1) descript (1) theorem (1) program (1)
Person: Klaus Meer
DBLP: Meer:Klaus
Contributed to:
2004
2002
2000
1995Wrote 4 papers:
- ICALP-2004-Meer #proving #theorem
- Transparent Long Proofs: A First PCP Theorem for NPR (KM), pp. 959–970.
- FLOPS-2002-Meer #algebra #consistency #constraints #on the #source code
- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints (KM), pp. 88–102.
- CSL-2000-MakowskyM #combinator #complexity #generative #graph #on the
- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale (JAM, KM), pp. 399–410.
- STOC-1995-GradelM #complexity
- Descriptive complexity theory over the real numbers (EG, KM), pp. 315–324.