BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Meer:Klaus

Contributed to:

ICALP 20042004
FLOPS 20022002
CSL 20002000
STOC 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.