The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Y. Gloess: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002