Enrique Sarrión-Morillo

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 3

Top Topics

Propositional Formulas

Top Venues

Publications

David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. CoRR (2015)
Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Public and Secret Forgetting of Propositional Formulas. CAEPIA (2015)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. Log. J. IGPL 23 (6) (2015)
Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Efficient Program Transformers for Translating LCC to PDL. JELIA (2014)