Georgios Grivas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

3 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

	1994
3		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

Coauthor Index

1 Roman Maeder [1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page