`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:

### Wrote 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.