Gregor Meyer

发表

Robert L. Grossman, Mark F. Hornick, Gregor Meyer, 2002, CACM.

Christoph Beierle, Gregor Meyer, 1999, Fuji International Symposium on Functional and Logic Programming.

Christoph Beierle, Gregor Meyer, Heiner Semle, 1991, ISLP.

Christoph Beierle, Stefan Böttcher, Gregor Meyer, 1991, IWBS Report.

Christoph Beierle, Reinhold Kloos, Gregor Meyer, 1999, Electron. Notes Theor. Comput. Sci..

Gregor Meyer, 1995, Logic Programming: Formal Methods and Practical Applications.

Christoph Beierle, Gregor Meyer, 1994, J. Log. Program..

Christoph Beierle, Ralph Scheubrein, Gregor Meyer, 1994 .

Christoph Beierle, Gregor Meyer, Heiner Semle, 1991, PDK.