All About Maude - A High-Performance Logical Framework

Name: All About Maude - A High-Performance Logical Framework
Author: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

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

Cover of All About Maude - A High-Performance Logical Framework

No description available.

Artificial intelligenceComputer scienceSoftware engineeringHuman information processingLogicComputer logicRewriting systems (Computer science)