Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic...

This volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCo...

Mit »Schwierige Liebschaften« liegen erstmals alle Erzählungen von Italo Calvino in einer deutsch...

Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid impl...

This book constitutes the refereedproceedings of the 21st International Colloquium on Trees in Al...

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic...

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics...

This volume contains the proceedings of the ThirdInternational Conferenceon Algebraic and Logic...

This book constitutes the refereed proceedings of the 15th International Conference on Automated ...