( en | de | ru )

 

Disambiguation of "Palomino, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Proving VLRL Action Properties with the Maude Model Checker.

, and . WRLA, volume 117 of Electronic Notes in Theoretical Computer Science, page 113-133. Elsevier, (2004)

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.

Nicole Hillenbrand Palomino

Reynaldo Linares-Palomino

Miguel Beato

Miguel Cardozo

Miguel Cruset

 

Other publications of authors with the same name

A comparison between two logical formalisms for rewriting. CoRR, (2006)Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics, , and . SOS, volume 32 of EPTCS, page 1-14. (2010)Ready to preorder: an algebraic and general proof., , and . J. Log. Algebraic Methods Program., 78 (7): 539-551 (2009)Playing with Maude., , and . RULE@RDP, volume 124 of Electronic Notes in Theoretical Computer Science, page 3-23. Elsevier, (2004)Proving Modal Properties of Rewrite Theories Using Maude's Metalevel., and . PROLE, volume 137 of Electronic Notes in Theoretical Computer Science, page 133-150. Elsevier, (2004)Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic., , and . WRLA, volume 71 of Electronic Notes in Theoretical Computer Science, page 110-126. Elsevier, (2002)Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude., , , and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 48-71. Springer, (2015)Logics for Contravariant Simulations., , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 224-231. Springer, (2010)Formal Logic.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Algebraic simulations., , and . J. Log. Algebraic Methods Program., 79 (2): 103-143 (2010)