The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...

Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection o...

Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection o...

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodol...

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (...

Specification and top down design of distributed systems.- Specification languages for distribute...

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...

This book constitutes the refereed proceedings of the First International Conference on the Found...

On the relevance of formal methods to software development.- Combining algebraic and predicative ...