Christoph Meyer

A Resolution-Based Decision Procedure for Extensions of K4

Harald Ganzinger, Ullrich Hustadt, Renate A. Schmidt, 1998, Advances in Modal Logic.

SYSTEM AND METHOD FOR üebrtragung of short messages in a mixed wireless and wireline telecommunication network

Christoph Meyer, Darin Currie, Thomas Altwein, 2006 .

Advanced Indexing Operations on Substitution Trees

Peter Graf, Christoph Meyer, 1996, CADE.

The two-variable guarded fragment with transitive relations

Margus Veanes, Harald Ganzinger, Christoph Meyer, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Soft typing for clausal inference systems

Christoph Meyer, C. Meyer, 1999 .

Soft Typing for Ordered Resolution

Christoph Weidenbach, Harald Ganzinger, Christoph Meyer, 1997, CADE.

Unification in Extension of Shallow Equational Theories

Christoph Weidenbach, Florent Jacquemard, Christoph Meyer, 1998, RTA.