 | 2002 |
|---|
| 11 |       | 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 | | 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) |
