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 × Hungary
1 × Spain
2 × Italy
2 × USA
Collaborated with:
D.Thérien B.Weinzinger F.Drewes D.Hofbauer P.Tesson D.A.M.Barrington N.Immerman N.Schweikardt
Talks about:
termin (2) length (2) proof (2) monad (2) deriv (2) crane (2) beach (2) tree (2) free (2) decomposit (1)

Person: Clemens Lautemann

DBLP DBLP: Lautemann:Clemens

Contributed to:

CSL 20062006
LICS 20012001
CSL 19991999
CSL 19921992
RTA 19911991
GG 19901990
RTA 19891989
ICALP 19881988

Wrote 8 papers:

CSL-2006-LautemannTT #algebra
An Algebraic Point of View on the Crane Beach Property (CL, PT, DT), pp. 426–440.
The Crane Beach Conjecture (DAMB, NI, CL, NS, DT), pp. 187–196.
CSL-1999-LautemannW #quantifier #reduction
MonadicNLIN and Quantifier-Free Reductions (CL, BW), pp. 322–337.
CSL-1992-Lautemann #logic #monad #problem
Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates (CL), pp. 327–339.
RTA-1991-DrewesL #incremental #proving #termination
Incremental Termination Proofs and the Length of Derivations (FD, CL), pp. 49–61.
GG-1990-Lautemann #automaton #composition
Tree Automata, Tree Decomposition and Hyperedge Replacement (CL), pp. 520–537.
RTA-1989-HofbauerL #proving #termination
Termination Proofs and the Length of Derivations (DH, CL), pp. 167–177.
ICALP-1988-Lautemann #algorithm #graph grammar #performance
Efficient Algorithms on Context-Free Graph Grammars (CL), pp. 362–378.

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.