Search: Verifying The Modal Logic Cube Is An Easy Task
2010
[1]Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners) (Christoph Benzmüller), Chapter in Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Simon Siegler, Nathan Wasser, eds.), Springer, LNCS, volume 6463, pp. 117-128, 2010. (Url (preprint): http://christoph-benzmueller.de/papers/B12.pdf) [bibtex] [doi]
Powered by bibtexbrowser