The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held Ju...

Methods for the algebraic specification of abstract data types were proposed in the early 1970s i...

The algebraic specification of abstract data types is now awell establishedresearch topic in comp...

By presenting state-of-the-art research results on various aspects of formal and visual modeling ...

Research in the area of abstract data types started about 20 years ago. Since then there has been...

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

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