In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contrib

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used

This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or s

This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publica