Reactive Kripke Semantics

Reactive Kripke Semantics

by: Gabbay, Dov M.

Publisher: Springer ( 2013-11-29 )

ISBN-13: 9783642413889

e-ISBN-13: 9783642413896

ISBN-10: 3642413889

Edition: 1

Language: English

未经允许不得转载：Wow! eBook » Reactive Kripke Semantics