`Travelled to:`

1 × Belgium

1 × Italy

1 × Japan

1 × Sweden

1 × Switzerland

`Collaborated with:`

M.T.Hortalá-González M.Rodríguez-Artalejo F.J.López-Fraguas

`Talks about:`

program (5) logic (5) function (4) semant (3) rewrit (2) declar (2) complet (1) versus (1) narrow (1) higher (1)

## Person: Juan Carlos González Moreno

### DBLP: Moreno:Juan_Carlos_Gonz=aacute=lez

### Contributed to:

### Wrote 5 papers:

- FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics
- Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.
- ICLP-1997-Gonzalez-MorenoHR #functional #higher-order #logic programming
- A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.
- ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming
- A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.
- CSL-1992-Gonzalez-MorenoHR #functional #logic programming #on the #semantics
- On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming (JCGM, MTHG, MRA), pp. 216–230.
- CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics
- Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.