Eric de Kogel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

2 Eric de Kogel: Rigid E-Unification Simplified. TABLEAUX 1995: 17-30

1 Eric de Kogel: Relational Algebra and Equational Proofs. Fundam. Inform. 23(1): 101-121 (1995)

1995
2		Eric de Kogel: Rigid E-Unification Simplified. TABLEAUX 1995: 17-30
1		Eric de Kogel: Relational Algebra and Equational Proofs. Fundam. Inform. 23(1): 101-121 (1995)