th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is ...

Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen24 verschiedene Be...

This book constitutes the refereed proceedings of the International Conference on Formal and Appl...