Research output per year
Research output per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Efficient Canonical Narrowing Implementation for Protocol Analysis
López-Rueda, R., Escobar, S. & Meseguer, J., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 151-170 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Checking Sufficient Completeness by Inductive Theorem Proving
Meseguer, J., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 171-190 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R. & Talcott, C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
Meseguer, J. & Skeirik, S., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer, p. 191-211 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Order-sorted equational generalization algorithm revisited
Alpuente, M., Escobar, S., Meseguer, J. & Sapiña, J., May 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 5, p. 499-522 24 p.Research output: Contribution to journal › Article › peer-review