Login / Signup
Peter Hibbs
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Higher Order
N Gram
Preprocessing
Theorem Prover
Top Venues
CADE
UNIF
</>
Publications
</>
Siva Anantharaman
,
Peter Hibbs
,
Paliath Narendran
,
Michaël Rusinowitch
Unification Modulo Lists with Reverse Relation with Certain Word Equations.
CADE
(2019)
Peter Hibbs
,
Paliath Narendran
,
Shweta Mehto
Unification Modulo Common List Functions.
UNIF
(2014)