Search results for: José Meseguer
Lecture Notes in Computer Science > ECOOP’ 93 — Object-Oriented Programming > Languages and Inheritance > 220-246
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 173-178
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > I Ensemble Engineering > 92-100
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 523-555
Lecture Notes in Computer Science > CONCUR '92 > 286-301
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 > Automated Reasoning > Session 10: System Descriptions 2 > 313-319
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 184-198