PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Martel, Mauricio"

Author of the publication

copydeleteadd this publication to your clipboard
Conservative Extensions in Guarded and Two-Variable Fragments.

, , , , and . ICALP, volume 80 of LIPIcs, page 108:1-108:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)

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.

No persons found for author name Martel, Mauricio
add a person with the name Martel, Mauricio
 

Other publications of authors with the same name

Querying the Unary Negation Fragment with Regular Path Expressions., , , and . ICDT, volume 98 of LIPIcs, page 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Relation-Changing Logics as Fragments of Hybrid Logics., , , and . GandALF, volume 226 of EPTCS, page 16-29. (2016)Undecidability of Relation-Changing Modal Logics., , , and . DALI@TABLEAUX, volume 10669 of Lecture Notes in Computer Science, page 1-16. Springer, (2017)Query Conservative Extensions in Horn Description Logics with Inverse Roles., , , and . IJCAI, page 1116-1122. ijcai.org, (2017)Conservative Extensions in Guarded and Two-Variable Fragments., , , , and . ICALP, volume 80 of LIPIcs, page 108:1-108:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power.. University of Bremen, Germany, (2018)Satisfiability for relation-changing logics., , , and . J. Log. Comput., 28 (7): 1443-1470 (2018)