| |
| 1994 | ||
|---|---|---|
| 3 | EE | Georgios Grivas: Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. ICLP Workshop: Integration of Declarative Paradigms 1994: 94-105 |
| 2 | Georgios Grivas: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. PLILP 1994: 455-456 | |
| 1993 | ||
| 1 | Georgios Grivas, Roman Maeder: Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. DISCO 1993: 164-176 | |
| 1 | Roman Maeder | [1] |