Narciso Martí-Oliet
Identifiers
- Open LibraryOL3182864A
Top Subjects
- Computer science (2)
- Computer software, development (2)
- Human information processing (1)
- Logic (1)
Books by Narciso Martí-Oliet
Total count: 5
-
All about Maude - a High-Performance Logical FrameworkHow to Specify, Program, and Verify Systems in Rewriting LogicSpringer London, Limited2007-01-01
Recent Trends in Algebraic Development Techniques21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected PapersSpringer2013-04-13-
Formal Methods : Foundations and Applications17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. ProceedingsSpringer International Publishing AG2015-01-01
-
Logic, Rewriting, and ConcurrencyEssays Dedicated to José Meseguer on the Occasion of His 65th BirthdaySpringer London, Limited2015-01-01
-
Rewriting Logic and Its Applications15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected PapersSpringer2024-01-01