( en | de | ru )

 

Disambiguierung von "Meseguer, José"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Principles of Maude.

, , , und . WRLA, Volume 4 von Electronic Notes in Theoretical Computer Science, Seite 65-89. Elsevier, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

José Sánchez Meseguer

Humberto Jorge José

Nadine José Gonzalez

José Baena

José Teixeira

 

Weitere Publikationen von Autoren mit dem selben Namen

Operational termination of conditional term rewriting systems., , und . Inf. Process. Lett., 95 (4): 446-453 (2005)Report on ETAPS 2000.. ACM SIGSOFT Softw. Eng. Notes, 26 (1): 39 (2001)Order-sorted equational generalization algorithm revisited., , , und . Ann. Math. Artif. Intell., 90 (5): 499-522 (2022)Folding variant narrowing and optimal variant termination., , und . J. Log. Algebraic Methods Program., 81 (7-8): 898-928 (2012)On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories., und . J. Log. Algebraic Methods Program., 81 (7-8): 816-850 (2012)Twenty years of rewriting logic.. J. Log. Algebraic Methods Program., 81 (7-8): 721-781 (2012)Conditioned Rewriting Logic as a United Model of Concurrency.. Theor. Comput. Sci., 96 (1): 73-155 (1992)Specification of real-time and hybrid systems in rewriting logic., und . Theor. Comput. Sci., 285 (2): 359-405 (2002)Equational abstractions., , und . Theor. Comput. Sci., 403 (2-3): 239-264 (2008)Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations., und . Theor. Comput. Sci., 105 (2): 217-273 (1992)