Login / Signup
José-Luis Ruiz-Reina
ORCID
Publication Activity (10 Years)
Years Active: 1999-2017
Publications (10 Years): 1
Top Topics
Invited Talk
Relational Database Theory
Automated Reasoning
Betti Numbers
Top Venues
Ann. Math. Artif. Intell.
ITP
Log. J. IGPL
ISSAC
</>
Publications
</>