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...

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

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

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

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

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

This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundation...

This book constitutes the refereed proceedings of the 4th International Conference on Logic Progr...

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

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

The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topo...

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduct...