Gregor Meyer

Publication Activity (10 Years)

Years Active: 1991-2002
Publications (10 Years): 0

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Robert L. Grossman, Mark F. Hornick, Gregor Meyer
Data mining standards initiatives. Commun. ACM 45 (8) (2002)
Christoph Beierle, Gregor Meyer
Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming (1999)
Christoph Beierle, Reinhold Kloos, Gregor Meyer
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Christoph Beierle, Gregor Meyer
Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18 (2) (1994)
Gregor Meyer
Zur Modellierung in der ordnungssortierten logischen Programmierung. WLP (1994)
Gregor Meyer, Christoph Beierle, Ralph Scheubrein
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken IWBS Report 219 (1992)
Christoph Beierle, Gregor Meyer, Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution IWBS Report 181 (1991)
Christoph Beierle, Gregor Meyer, Heiner Semle
A Brief Description of the PROTOS-L System. PDK (1991)
Christoph Beierle, Stefan Böttcher, Gregor Meyer
Draft Report of the Logic Programming Language PROTOS-L IWBS Report 175 (1991)
Christoph Beierle, Gregor Meyer, Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP (1991)