( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

, , , , и . 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.

Marcos Escobar

Julio Escobar

Alberto Escobar

Max Escobar

Santiago Suppan

 

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

Refining weakly outermost-needed rewriting and narrowing.. PPDP, стр. 113-123. ACM, (2003)Redundancy Analyses in Term Rewriting., , и . WFLP, стр. 309-323. (2000)Automated Certification of Non-Interference in Rewriting Logic., , и . FMICS, том 5596 из Lecture Notes in Computer Science, стр. 182-198. Springer, (2008)Effective Sequential Protocol Composition in Maude-NPA., , , и . CoRR, (2016)Safety enforcement via programmable strategies in Maude., , , , и . J. Log. Algebraic Methods Program., (апреля 2023)Order-sorted equational generalization algorithm revisited., , , и . Ann. Math. Artif. Intell., 90 (5): 499-522 (2022)A compact fixpoint semantics for term rewriting systems., , , , и . Theor. Comput. Sci., 411 (37): 3348-3371 (2010)On-demand strategy annotations revisited: An improved on-demand evaluation strategy., , , и . Theor. Comput. Sci., 411 (2): 504-541 (2010)Symbolic Specialization of Rewriting Logic Theories with Presto., , , и . CoRR, (2021)Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method., и . Foundations of Security, Protocols, and Equational Reasoning, том 11565 из Lecture Notes in Computer Science, стр. 15-38. Springer, (2019)