This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international ...

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

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

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributio...

This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday...

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research c...

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays present...

This book presents a complete and accurate study of arithmetic and algebraic circuits. The first ...

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. ...

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributio...

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

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