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

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

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

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

This volume presents the papers selected for the SymposiumLogic at Tver'92, held at Sokol, ne...

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

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems,...

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

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

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

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

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the bord...