Travelled to:
1 × Spain
Collaborated with:
∅
Talks about:
constraint (1) function (1) toward (1) system (1) symbol (1) comput (1) compil (1) logic (1)
Person: Georgios Grivas
DBLP: Grivas:Georgios
Contributed to:
Wrote 1 papers:
- PLILP-1994-Grivas #compilation #constraints #functional #logic #symbolic computation #towards
- Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.