This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic....

This book constitutes the thoroughly refereed post-conference proceedings of the 21st Internation...

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...

This book constitutes revised selected papers from the refereed proceedings of the 15th Internati...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic....

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilia...

This book constitutes the thoroughly refereed post-conference proceedings of the 21st Internation...

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...

This book constitutes revised selected papers from the refereed proceedings of the 15th Intern...