Narciso Martí-Oliet

No bio available. Add one in Open Library.

Books by Narciso Martí-Oliet (50 max)

+ shelf+ list

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2013

Narciso Martí-Oliet

+ shelf+ list

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)

2007

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

+ shelf+ list

Formal Methods : Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2015

Christiano Braga, Narciso Martí-Oliet

+ shelf+ list

Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, il, USA, September 23-25, 2015, Proceedings

2015

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

+ shelf+ list

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2024

Kazuhiro Ogata, Narciso Martí-Oliet