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 journalArticle

  • 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 journalArticle

    Open Access
  • 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 journalArticle

  • 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 journalArticle

    Open Access