( en | de | ru )

 

Disambiguation of "Martins, Manuel A."

Author of the publication

copydeleteadd this publication to your clipboard
Rigid First-Order Hybrid Logic.

, , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. 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.

António Manuel Martins Neto

Manuel Augusto Abranches Enes Martins

Manuel J A Eugster

Manuel J A Eugster

Manuel J A Eugster

 

Other publications of authors with the same name

Hybridisation at Work., , , and . CALCO, volume 8089 of Lecture Notes in Computer Science, page 340-345. Springer, (2013)Adding Proof Calculi to Epistemic Logics with Structured Knowledge., , and . FSEN, volume 12818 of Lecture Notes in Computer Science, page 53-68. Springer, (2021)Behavioral equivalence of hidden k-logics: An abstract algebraic approach., and . J. Appl. Log., (2016)A Tableau System for Quasi-Hybrid Logic., and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 435-451. Springer, (2016)Refinement by Interpretation in a General Setting., , and . REFINE@FMWeek, volume 259 of Electronic Notes in Theoretical Computer Science, page 105-121. Elsevier, (2009)An Institution for Alloy and Its Translation to Second-Order Logic., , , and . IRI (best papers), volume 263 of Advances in Intelligent Systems and Computing, page 45-75. Springer, (2013)Paraconsistency in hybrid logic., and . J. Log. Comput., 27 (6): 1825-1852 (2017)On a coalgebraic view on Logic., and . J. Log. Comput., 23 (5): 1097-1106 (2013)Hybridization of Institutions., , , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 283-297. Springer, (2011)Paradigm integration in a specification course., , , and . IRI, page 492-499. IEEE Computer Society, (2014)