1995 | ||
---|---|---|
5 | Miguel-Angel Oros, Paul Y. Gloess: Concept : a system for deriving datalog inheritance. JFPLC 1995: 353-356 | |
4 | Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li: U-Log = datalog + constraints. JFPLC 1995: 369-372 | |
1994 | ||
3 | 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 | |
2 | Miguel-Angel Oros, Paul Y. Gloess: Inferring Inheritance from Datalog Programs. SLP 1994: 680 | |
1993 | ||
1 | Miguel-Angel Oros, Paul Y. Gloess: Inheritance in Datalog. LPE 1993: 52-58 |
1 | Paul Y. Gloess | [1] [2] [3] [4] [5] |
2 | Chu Min Li | [4] |