Login / Signup
José Maria Turull Torres
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 17
Top Topics
Database
Higher Order Logic
Polynomially Bounded
Hierarchically Organized
Top Venues
CoRR
WoLLIC
FoIKS
ABZ
</>
Publications
</>