Gregor Meyer

According to our database1, Gregor Meyer authored at least 12 papers between 1991 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Data mining standards initiatives.
Commun. ACM, 2002

2000
On types and type consistency in logic programming.
DISKI 235, Infix, ISBN: 978-3-89838-235-9, 2000

1999
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.
Electr. Notes Theor. Comput. Sci., 1999

Using Types as Approximations for Type Checking Prolog Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1995
Polymorphic Feature Types.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994
Run-Time Type Computations in the Warren Abstract Machine.
J. Log. Program., 1994

Zur Modellierung in der ordnungssortierten logischen Programmierung.
Proceedings of the Tenth Logic Programming Workshop, 1994

1992
Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken
IWBS Report, 1992

1991
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution
IWBS Report, 1991

Draft Report of the Logic Programming Language PROTOS-L
IWBS Report, 1991

Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

A Brief Description of the PROTOS-L System.
Proceedings of the Processing Declarative Knowledge, 1991


  Loading...