`Travelled to:`

1 × USA

2 × United Kingdom

`Collaborated with:`

J.M.Spivey C.A.R.Hoare

`Talks about:`

program (3) logic (3) transform (2) higher (2) order (2) algebra (1)

## Person: Silvija Seres

### DBLP: Seres:Silvija

### Contributed to:

### Wrote 3 papers:

- LOPSTR-2000-SeresS #higher-order #logic programming #source code
- Higher-order transformation of logic programs (SS, JMS).
- LOPSTR-J-2000-SeresS #higher-order #logic programming #source code
- Higher-Order Transformation of Logic Programs (SS, JMS), pp. 57–68.
- ICLP-1999-SeresSH #algebra #logic programming
- Algebra of Logic Programming (SS, JMS, CARH), pp. 184–199.