Login / Signup
Leonardo Manuel Cabrer
ORCID
Publication Activity (10 Years)
Years Active: 2005-2019
Publications (10 Years): 5
Top Topics
Formal Logic
Brute Force
Knuth Bendix
Clifford Algebra
Top Venues
Ann. Pure Appl. Log.
CoRR
Int. J. Approx. Reason.
Adv. Appl. Math.
</>
Publications
</>