Search results for: Narciso Martí-Oliet
Journal of Automated Reasoning > 2018 > 60 > 4 > 421-463
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 523-555
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Part 3. System Demonstrations > 216-225
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part IV: Reference > 697-736
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 645-665
Lecture Notes in Computer Science > Rewriting Logic and Its Applications > Maude Model Checking and Debugging > 226-242
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 459-483
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Web Services > 227-242
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 373-384
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part II: Full Maude > 559-597
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 72-86
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 339-372
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 231-305
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 419-458