Narciso Martí-Oliet

Livres
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2024
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
2007