熱門搜尋
您輸入的關鍵字: Nerode
搜尋結果共 22 筆, 頁數 1 / 1
呈現:
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... more
Historic statement of the meaning of Yogananda’s teachings. The booklet itself is important for thos... more
Uniform treatment of the theory of finite state machines on finite and infinite strings and trees. M... more
Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise thro... more
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundat... more
In writing this book, our goal was to produce a text suitable for a first course in mathematical log... more
contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel...... more