Sophie Tourret

Identifiers

• name variant Sophie Tourret 0.50 · backfill

Papers (2)

1. Logical reduction of metarules cs.LG · 2019 · author #2
2. SLD-Resolution Reduction of Second-Order Horn Fragments -- technical report -- cs.LO · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Cropper 2 shared papers