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 book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodol...
This book constitutes the refereed proceedings of the First International Conference on the Found...
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...