Keyword:Mettel2

Publications
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning