C. Meyer
发表
K. Hermann,
C. Meyer,
1992
.
K. Hermann,
C. Meyer,
1992
.
T. Jovin,
A. Kirsch,
C. Meyer,
1996
.
T. Jovin,
A. Kirsch,
C. Meyer,
1997
.
C. Meyer,
2020,
Knowledge of the <i>Pragmatici</i>.
T. Jovin,
A. Kirsch,
D. Möbius,
1998
.
Margus Veanes,
Harald Ganzinger,
Christoph Meyer,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Christoph Weidenbach,
Florent Jacquemard,
Christoph Meyer,
1998,
RTA.
György Vereb,
Thomas M. Jovin,
T. Jovin,
1997
.
Christoph Weidenbach,
Harald Ganzinger,
Christoph Meyer,
1997,
CADE.