From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

M. Alpuente, D. Ballis, A. Cuenca-Ortega, S. Escobar, и J. Meseguer. JELIA, том 11468 из Lecture Notes in Computer Science, стр. 171-181. 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.

José Sánchez Meseguer

Humberto Jorge José

Nadine José Gonzalez

José Navarrete

José Schneider

Другие публикации лиц с тем же именем

Effective Sequential Protocol Composition in Maude-NPA.S. Santiago, S. Escobar, C. Meadows, и J. Meseguer. CoRR, (2016)Proving operational termination of membership equational programs.F. Durán, S. Lucas, C. Marché, J. Meseguer, и X. Urbain. High. Order Symb. Comput., 21 (1-2): 59-88 (2008)Ground confluence of order-sorted conditional specifications modulo axioms.F. Durán, J. Meseguer, и C. Rocha. J. Log. Algebraic Methods Program., (2020)Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion ProblemsJ. Meseguer, и J. Goguen. Inf. Comput., 103 (1): 114-158 (марта 1993)Taming distributed system complexity through formal patterns.J. Meseguer. Sci. Comput. Program., (2014)Order-sorted equational generalization algorithm revisited.M. Alpuente, S. Escobar, J. Meseguer, и J. Sapiña. Ann. Math. Artif. Intell., 90 (5): 499-522 (2022)Conditioned Rewriting Logic as a United Model of Concurrency.J. Meseguer. Theor. Comput. Sci., 96 (1): 73-155 (1992)Complete symbolic reachability analysis using back-and-forth narrowing.P. Thati, и J. Meseguer. Theor. Comput. Sci., 366 (1-2): 163-179 (2006)Equational abstractions.J. Meseguer, M. Palomino, и N. Martí-Oliet. Theor. Comput. Sci., 403 (2-3): 239-264 (2008)Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.J. Goguen, и J. Meseguer. Theor. Comput. Sci., 105 (2): 217-273 (1992)

BibSonomy

Disambiguation