No photo of Jose Meseguer

View Scopus Profile

Jose Meseguer

If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 11 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journal › Article

    • A partial evaluation framework for order-sorted equational programs modulo axioms

    Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

    Research output: Contribution to journal › Article

    Open Access

    • Generalized rewrite theories, coherence completion, and symbolic methods

    Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100483.

    Research output: Contribution to journal › Article

    Open Access

    • Ground confluence of order-sorted conditional specifications modulo axioms

    Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In : Journal of Logical and Algebraic Methods in Programming. 111, 100513.

    Research output: Contribution to journal › Article

    • Programming and symbolic computation in Maude

    Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Talcott, C., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100497.

    Research output: Contribution to journal › Article

    Open Access