dblp.uni-trier.dewww.uni-trier.de

Paul Y. Gloess Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
19 Miguel-Angel Oros, Paul Y. Gloess: Concept : a system for deriving datalog inheritance. JFPLC 1995: 353-356
18 Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li: U-Log = datalog + constraints. JFPLC 1995: 369-372
1994
17 Miguel-Angel Oros, Paul Y. Gloess: Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog. LMO 1994: 39-52
16 Miguel-Angel Oros, Paul Y. Gloess: Inferring Inheritance from Datalog Programs. SLP 1994: 680
1993
15 Miguel-Angel Oros, Paul Y. Gloess: Inheritance in Datalog. LPE 1993: 52-58
14 Jean-Luc Guérin, Paul Y. Gloess: GrafOLog: a Visual Language for a Logic with Objects. J. Vis. Lang. Comput. 4(3): 301-324 (1993)
1992
13 Chu Min Li, Paul Y. Gloess: Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS. BDA 1992: 280-
12 Chu Min Li, Paul Y. Gloess: Realizing an efficient and incremental access to an object oriented database with Prolog. JFPL 1992: 268-283
11EEChu Min Li, Paul Y. Gloess: ProQuery: Logical Access to an OODB. PLILP 1992: 487-488
10 Paul Y. Gloess, Y.-N. Huang, Chu Min Li, M.-A. Hernandez: On Boolean Feature Types. WSA 1992: 213-220
1991
9EEPaul Y. Gloess: U-Log, An Ordered Sorted Logic with Typed Attributes. PLILP 1991: 275-286
1989
8 Paul Y. Gloess: U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. SPLT 1989: 71-96
7 Jean-Luc Guérin, Paul Y. Gloess: Programmation Logique et Objets sans variables par le dessin. SPLT 1989: 97-
1987
6 Paul Y. Gloess, Dung T. Nguyen: Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. SPLT 1987: 109-118
1985
5 Paul Y. Gloess: OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog. SPLT 1985
1984
4 Paul Y. Gloess: LOGIS, un système PROLOG dans un environnement LISP. SPLT 1984
1981
3 Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent: An Interactive Tool for Program Manipulation. ICSE 1981: 460-
1980
2EEPaul Y. Gloess: An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions. CADE 1980: 154-169
1EEPaul Y. Gloess, Jean-Pierre H. Laurent: Adding Dynamic Paramodulation to Rewrite Algorithms. CADE 1980: 195-207

Coauthor Index

1Anne Adam [3]
2Jean-Luc Guérin [7] [14]
3M.-A. Hernandez [10]
4Y.-N. Huang [10]
5Jean-Pierre H. Laurent [1] [3]
6Chu Min Li [10] [11] [12] [13] [18]
7Dung T. Nguyen [6]
8Miguel-Angel Oros [15] [16] [17] [18] [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)