Research Areas
Research Labs
Workshops
Publications
Technical Reports
|
BibTex in ASCII
-
@INPROCEEDINGS{bp:339, author = "Samuli Heilala and Brigitte Pientka", editor = "Frank Pfenning", title = "Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4", booktitle = "21st International Conference on Automated Deduction (CADE-21), Bremen, Germany, July 17-20, 2007", pages = "116--131", url = {http://dx.doi.org/10.1007/978-3-540-73595-3_9}, volume = "4603", series = "Lecture Notes in Computer Science", publisher = "Springer", year = 2007}
|
