BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Italy
1 × Japan
1 × USA
Collaborated with:
H.Ganzinger C.Weidenbach P.Graf M.Veanes F.Jacquemard
Talks about:
substitut (1) fragment (1) variabl (1) transit (1) shallow (1) resolut (1) theori (1) extens (1) advanc (1) relat (1)

Person: Christoph Meyer

DBLP DBLP: Meyer:Christoph

Contributed to:

LICS 19991999
RTA 19981998
CADE 19971997
CADE 19961996

Wrote 4 papers:

LICS-1999-GanzingerMV #transitive
The Two-Variable Guarded Fragment with Transitive Relations (HG, CM, MV), pp. 24–34.
RTA-1998-JacquemardMW #equation #unification
Unification in Extension of Shallow Equational Theories (FJ, CM, CW), pp. 76–90.
CADE-1997-GanzingerMW #order #type system
Soft Typing for Ordered Resolution (HG, CM, CW), pp. 321–335.
CADE-1996-GrafM
Advanced Indexing Operations on Substitution Trees (PG, CM), pp. 553–567.

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.