Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gregor Meyer
2000 – 2009
- 2002
[j3]Robert L. Grossman, Mark F. Hornick, Gregor Meyer: Data mining standards initiatives. Commun. ACM 45(8): 59-61 (2002)- 2000
- [b1]Gregor Meyer: On types and type consistency in logic programming. DISKI 235, Infix 2000, ISBN 978-3-89838-235-9, pp. I-VI, 1-176
1990 – 1999
- 1999
- [j2]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): 1-21 (1999)
- [c4]Christoph Beierle, Gregor Meyer: Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266
- 1995
- [p1]Gregor Meyer: Polymorphic Feature Types. Logic Programming: Formal Methods and Practical Applications 1995: 169-203
- 1994
- [j1]Christoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148 (1994)
- [c3]
- 1992
- [i3]Gregor Meyer, Christoph Beierle, Ralph Scheubrein: Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken. IWBS Report 219 (1992)
- 1991
- [c2]Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. PDK 1991: 402-404
- [c1]Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286
- [i2]Christoph Beierle, Stefan Böttcher, Gregor Meyer: Draft Report of the Logic Programming Language PROTOS-L. IWBS Report 175 (1991)
- [i1]Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. IWBS Report 181 (1991)
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team