Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Narciso Martí-Oliet
Narciso Martí-Oliet
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
5
Logic, Rewriting, and Concurrency
Formal Methods : Foundations and Applications
Rewriting Logic and Its Applications
All About Maude - A High-Performance Logical Framework
Recent Trends in Algebraic Development Techniques
