Login / Signup
Pascal Manoury
Publication Activity (10 Years)
Years Active: 1992-2014
Publications (10 Years): 0
Top Topics
Theorem Prover
Knuth Bendix
Equational Theories
Data Streams
Top Venues
ICFP
JFLA
</>
Publications
</>