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

Research Output

Filter
Chapter

Functorial semantics of rewrite theories

Meseguer, J., Jan 1 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer-Verlag Berlin Heidelberg, p. 220-235 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3393 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Generalized rewrite theories

Bruni, R. & Meseguer, J., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer-Verlag Berlin Heidelberg, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

Research output: Chapter in Book/Report/Conference proceedingChapter

Symbolic protocol analysis with disequality constraints modulo equational theories

Escobar, S., Meadows, C., Meseguer, J. & Santiago, S., Jan 1 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 238-261 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

Research output: Chapter in Book/Report/Conference proceedingChapter