Programming, Logic and Intelligent Systems

Research Output

Filter
Book

Hybrid Logic and its Proof-Theory

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

Research output: Book/ReportBookResearchpeer-review