Login / Signup
Juan Rodríguez-Hortalá
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 6
Top Topics
Specification Languages
Logic Programs
Top Venues
Theory Pract. Log. Program.
J. Log. Algebraic Methods Program.
CoRR
Math. Struct. Comput. Sci.
</>
Publications
</>