C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions

Jon Haël Brenas, Rachid Echahed, Martin Strecker. C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. In Mohamed Mosbah, Michaël Rusinowitch, editors, SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. Volume 45 of EPiC Series in Computing, pages 29-41, EasyChair, 2017. [doi]

Abstract

Abstract is missing.