E-LIB Suche - Ergebnisse für: Meseguer, José

1

Variants and satisfiability in the infinitary unification w..:

Meseguer, José
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100877 , 2023

2

Strand Spaces with Choice via a Process Algebra Semantics:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Yang, Fan ; Escobar, Santiago ; Meadows, Catherine.. - p. 307-350 , 2023

Link: https://doi.org/10.1007/..

3

Optimizing Maude Programs via Program Specialization:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Alpuente, María ; Ballis, Demis ; Escobar, Santiago.. - p. 21-50 , 2023

Link: https://doi.org/10.1007/..

4

The Maude strategy language:

Eker, Steven ; Martí-Oliet, Narciso ; Meseguer, José..
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100887 , 2023

Link: https://doi.org/10.1016/..

5

Building Correct-by-Construction Systems with Formal Patter..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Meseguer, José - p. 3-24 , 2023

Link: https://doi.org/10.1007/..

6

On Ground Convergence and Completeness of Conditional Equat..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Meseguer, José ; Skeirik, Stephen - p. 191-211 , 2022

Link: https://doi.org/10.1007/..

7

An Efficient Canonical Narrowing Implementation for Protoco..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

López-Rueda, Raúl ; Escobar, Santiago ; Meseguer, José - p. 151-170 , 2022

Link: https://doi.org/10.1007/..

8

Bridging the semantic gap between qualitative and quantitat..:

Liu, Si ; Meseguer, Jose ; Ölveczky, Peter Csaba..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 315-344 , 2022

Link: https://doi.org/10.1145/..

9

Equational Unification and Matching, and Symbolic Reachabil..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Durán, Francisco ; Eker, Steven ; Escobar, Santiago... - p. 529-540 , 2022

Link: https://doi.org/10.1007/..

10

Checking Sufficient Completeness by Inductive Theorem Provi..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Meseguer, José - p. 171-190 , 2022

Link: https://doi.org/10.1007/..

11

Protocol Analysis with Time and Space:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Aparicio-Sánchez, Damián ; Escobar, Santiago ; Meadows, Catherine.. - p. 22-49 , 2021

Link: https://doi.org/10.1007/..

12

Protocols, Strands, and Logic: Essays Dedicated to Joshua G..

Security and Cryptology, 13066

Dougherty, Daniel ; Meseguer, José ; Mödersheim, Sebastian Alexander. - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

13

Order-sorted equational generalization algorithm revisited:

Alpuente, María ; Escobar, Santiago ; Meseguer, José.
Annals of Mathematics and Artificial Intelligence. 90 (2021) 5 - p. 499-522 , 2021

Link: https://doi.org/10.1007/..

14

Symbolic Computation in Maude: Some Tapas:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Meseguer, José - p. 3-36 , 2021

Link: https://doi.org/10.1007/..

15

Variant Satisfiability of Parameterized Strings:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Meseguer, José - p. 96-113 , 2020

Link: https://doi.org/10.1007/..