Login / Signup
Adrián Palacios
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 12
Top Topics
Sum Product Algorithm
Theorem Prover
Concurrent Programs
Cellular Automata
Top Venues
CoRR
J. Log. Algebraic Methods Program.
LOPSTR
Fundam. Informaticae
</>
Publications
</>