2002 |
11 | EE | Robert L. Grossman,
Mark F. Hornick,
Gregor Meyer:
Data mining standards initiatives.
Commun. ACM 45(8): 59-61 (2002) |
1999 |
10 | | Christoph Beierle,
Gregor Meyer:
Using Types as Approximations for Type Checking Prolog Programs.
Fuji International Symposium on Functional and Logic Programming 1999: 251-266 |
9 | EE | Christoph Beierle,
Reinhold Kloos,
Gregor Meyer:
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
1995 |
8 | | Gregor Meyer:
Polymorphic Feature Types.
Logic Programming: Formal Methods and Practical Applications 1995: 169-203 |
1994 |
7 | | Gregor Meyer:
Zur Modellierung in der ordnungssortierten logischen Programmierung.
WLP 1994: 93-95 |
6 | | Christoph Beierle,
Gregor Meyer:
Run-Time Type Computations in the Warren Abstract Machine.
J. Log. Program. 18(2): 123-148 (1994) |
1992 |
5 | | Gregor Meyer,
Christoph Beierle,
Ralph Scheubrein:
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken
IWBS Report 219: (1992) |
1991 |
4 | | Christoph Beierle,
Gregor Meyer,
Heiner Semle:
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.
ISLP 1991: 272-286 |
3 | | Christoph Beierle,
Gregor Meyer,
Heiner Semle:
A Brief Description of the PROTOS-L System.
PDK 1991: 402-404 |
2 | | Christoph Beierle,
Stefan Böttcher,
Gregor Meyer:
Draft Report of the Logic Programming Language PROTOS-L
IWBS Report 175: (1991) |
1 | | Christoph Beierle,
Gregor Meyer,
Heiner Semle:
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution
IWBS Report 181: (1991) |