Philippe Balbiani, Joseph Boudou
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition
CADE, 2015.
@inproceedings{CADE-2015-BalbianiB, author = "Philippe Balbiani and Joseph Boudou", booktitle = "{Proceedings of the 25th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-21401-6_37", isbn = "978-3-319-21400-9", pages = "539--554", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition}", volume = 9195, year = 2015, }