Gregor Meyer

According to our database, Gregor Meyer authored at least 11 papers between 1991 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Data mining standards initiatives.

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

Commun. ACM, 2002

2000

On types and type consistency in logic programming.

Gregor Meyer

PhD thesis, 2000

1999

A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.

Christoph Beierle, Reinhold Kloos, Gregor Meyer

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Using Types as Approximations for Type Checking Prolog Programs.

Christoph Beierle, Gregor Meyer

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1995

Polymorphic Feature Types.

Gregor Meyer

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Run-Time Type Computations in the Warren Abstract Machine.

Christoph Beierle, Gregor Meyer

J. Log. Program., 1994

Zur Modellierung in der ordnungssortierten logischen Programmierung.

Gregor Meyer

Proceedings of the Tenth Logic Programming Workshop, 1994

1992

Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken

Gregor Meyer, Christoph Beierle, Ralph Scheubrein

IWBS Report, 1992

1991

Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution

Christoph Beierle, Gregor Meyer, Heiner Semle

IWBS Report, 1991

Draft Report of the Logic Programming Language PROTOS-L

Christoph Beierle, Stefan Böttcher, Gregor Meyer

IWBS Report, 1991

A Brief Description of the PROTOS-L System.

Christoph Beierle, Gregor Meyer, Heiner Semle

Proceedings of the Processing Declarative Knowledge, 1991