Christoph Meyer

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Harald Ganzinger, Christoph Meyer, Margus Veanes
The Two-Variable Guarded Fragment with Transitive Relations. LICS (1999)
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt
A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic (1998)
Florent Jacquemard, Christoph Meyer, Christoph Weidenbach
Unification in Extension of Shallow Equational Theories. RTA (1998)
Harald Ganzinger, Christoph Meyer, Christoph Weidenbach
Soft Typing for Ordered Resolution. CADE (1997)
Peter Graf, Christoph Meyer
Advanced Indexing Operations on Substitution Trees. CADE (1996)