In writing this book, our goal was to produce a text suitable for a first course in mathematical ...

Hybrid systems are networks of interacting digital andanalog devices.Control systems for inherent...

The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguis...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundati...

In writing this book, our goal was to produce a text suitable for a first course in mathematical ...

This volume presents the refereed papers accepted for the international symposium Logical Foundat...

This volume contains the revised refereed papers accepted for presentation at the Third Internati...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundati...

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foun...

This book constitutes the thoroughly refereed post-conference documentation of the Fourth Interna...

The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguis...

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Syst...