( en | de | ru )

 

Disambiguation of "Pérez, Juan Antonio Navarro"

Author of the publication

copydeleteadd this publication to your clipboard
SL-COMP: Competition of Solvers for Separation Logic.

, , , , , , , , , , , , , , , , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 116-132. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jorge Navarro-Pérez

Juan Puerta-Pérez

Marco Antonio Arteaga Pérez

Jorge Antonio Pérez Donato

Juan Perez Ponce

 

Other publications of authors with the same name

Ground Nonmonotonic Modal Logic S5: New Results., , , and . J. Log. Comput., 15 (5): 787-813 (2005)Computing Preferred Safe Beliefs., and . LA-NMR, volume 92 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)Applications of Intuitionistic Logic in Answer Set Programming., , and . Theory Pract. Log. Program., 4 (3): 325-354 (2004)Encodings of Problems in Effectively Propositional Logic., and . SAT, volume 4501 of Lecture Notes in Computer Science, page 3. Springer, (2007)Planning with Effectively Propositional Logic., and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 302-316. Springer, (2013)A logical approach to A-Prolog., , and . WoLLIC, volume 67 of Electronic Notes in Theoretical Computer Science, page 284-295. Elsevier, (2002)Generation of Hard Non-Clausal Random Satisfiability Problems., and . AAAI, page 436-442. AAAI Press / The MIT Press, (2005)A decision procedure for satisfiability in separation logic with inductive predicates., , , and . CSL-LICS, page 25:1-25:10. ACM, (2014)Answer Set Programming and S4., and . IBERAMIA, volume 3315 of Lecture Notes in Computer Science, page 353. Springer, (2004)Applications of Intuitionistic Logic in Answer Set Programming, , and . CoRR, (2003)