Login / Signup
Ruslán Ledesma-Garza
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Functional Programs
Reachability Analysis
Term Rewriting Systems
Deterministic Automata
Top Venues
CAV
ATVA
SAS
</>
Publications
</>