AboutSign inJoin

Narciso Martí-Oliet

About

Some information is missing for this author.

Books

Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Narciso Martí-Oliet, Santiago Escobar
All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
Francisco Durán, José Meseguer, Narciso Martí-Oliet, Carolyn Talcott, Manuel Clavel, Steven Eker, Patrick Lincoln
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
Narciso Martí-Oliet, Miguel Palomino
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian