( en | de | ru )

 

Disambiguation of "Palomino, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Reynaldo Linares-Palomino

Nicole Hillenbrand 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)Ready to preorder: an algebraic and general proof., , and . J. Log. Algebraic Methods Program., 78 (7): 539-551 (2009)Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics, , and . SOS, volume 32 of EPTCS, page 1-14. (2010)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)Playing with Maude., , and . RULE@RDP, volume 124 of Electronic Notes in Theoretical Computer Science, page 3-23. 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)Algebraic simulations., , and . J. Log. Algebraic Methods Program., 79 (2): 103-143 (2010)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)