Search results for: Peter D. Mosses
Theoretical Computer Science > 2018 > 741 > C > 44-47
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 174-190
Lecture Notes in Computer Science > STACS 89 > 17-35
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Open Lectures > 624-628
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Invited Speakers > 489-490
Lecture Notes in Computer Science > Perspectives of System Informatics > Semantics & Types > 165-190
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 115-137
Lecture Notes in Computer Science > CASL User Manual > Appendices > 193-201
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Papers > 21-40
Lecture Notes in Computer Science > CASL User Manual > Carrying On > 155-190
Lecture Notes in Computer Science > Casl Reference Manual > Casl Logic > 275-359
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 262-277