Programming, Logic and Intelligent Systems

Research Output 2006 2018

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/ReportBookResearchpeer-review