Author:Martin Strecker

Publications
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions Jon Hael Brenas, Rachid Echahed and Martin Strecker In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017