`Travelled to:`

1 × Austria

1 × Germany

`Collaborated with:`

M.Echenim N.Peltier A.Bentkamp J.Blanchette P.Vukmirovic U.Waldmann

`Talks about:`

generat (2) implic (2) prime (2) logic (2) equat (2) superposit (1) strategi (1) quantifi (1) rewrit (1) lambda (1)

## Person: Sophie Tourret

### DBLP: Tourret:Sophie

### Contributed to:

### Wrote 3 papers:

- CADE-2015-EchenimPT #equation #generative #logic #quantifier
- Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
- IJCAR-2014-EchenimPT #equation #logic
- A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
- CADE-2019-BentkampBTVW
- Superposition with Lambdas (AB, JB, ST, PV, UW), pp. 55–73.