Programming, Logic and Intelligent Systems

Research Output

Filter
Book
2011

Hybrid Logic and its Proof-Theory

Braüner, T., 2011, Springer Science+Business Media. 231 p. (Applied Logic Series, Vol. 37).

Research output: Book/Report › Book › Research › peer-review