Search results for: Joe Hendrix
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 173-178
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 > Term Rewriting and Applications > Session 1. Constraints and Optimization > 50-65
Electronic Notes in Theoretical Computer Science > 2012 > 290 > Complete > 37-50