Research Output 1999 2018

Filter
Conference abstract in proceedings
2001

Natural deduction for hybrid logic (extended abstract)

Braüner, T. 2001 Workshop Proceedings of Methods for Modalities 2. Areces, C. & Rijke, M. D. (eds.). University of Amsterdam

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch