Eric de Kogel Vis

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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)