A Satisfiability Algorithm For The Mu-Calculus For Trees With Presburger Constraints

2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT) ◽

10.1109/conisoft.2019.00020 ◽

2019 ◽

Author(s):

Yensen Limon ◽

Edgard Benitez-Guerrero ◽

Everardo Barcenas ◽

Guillermo Molero-Castillo ◽

Alejandro Velazquez-Mena

Download Full-text