Login / Signup
Alvaro Tasistro
ORCID
Publication Activity (10 Years)
Years Active: 1996-2017
Publications (10 Years): 1
Top Topics
Lambda Calculus
Theorem Prover
Database Query Languages
Fixed Order
Top Venues
LSFA
CoRR
TLCA
J. Univers. Comput. Sci.
</>
Publications
</>