( en | de | ru )

 

Disambiguation of "Martín, Óscar"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional specification in rewriting logic.

, , and . CoRR, (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.

Óscar González

Óscar García-Morchón

Óscar Lafuente Cerdá

Óscar Martínez Mozos

Óscar-Andrey Herrera-Sancho

 

Other publications of authors with the same name

Egalitarian State-Transition Systems., , and . WRLA, volume 9942 of Lecture Notes in Computer Science, page 98-117. Springer, (2016)Compositional Verification in Rewriting Logic., , and . CoRR, (2023)Model Checking TLR* Guarantee Formulas on Infinite Systems., , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 129-150. Springer, (2014)Parameterized Programming for Compositional System Specification., , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 59-75. Springer, (2018)Compositional specification in rewriting logic., , and . CoRR, (2019)Look-and-Say Biochemistry: Exponential RNA and Multistranded DNA.. Am. Math. Mon., 113 (4): 289-307 (2006)Comparative Study of Classification Algorithms for Quality Assessment of Resistance Spot Welding Joints From Pre- and Post-Welding Inputs., , , and . IEEE Access, (2022)Compositional Specification in Rewriting Logic., , and . Theory Pract. Log. Program., 20 (1): 44-98 (2020)Synchronous Products of Rewrite Systems., , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 141-156. (2016)Compositional Verification in Rewriting Logic., , and . Theory Pract. Log. Program., 24 (1): 57-109 (January 2024)