Author:
Barcenas Everardo,Lavalle Jesus
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mu-Calculus Satisfiability with Arithmetic Constraints;Programming and Computer Software;2020-12
2. Presburger Constraints in Trees;Computación y Sistemas;2020-03-30
3. A Satisfiability Algorithm For The Mu-Calculus For Trees With Presburger Constraints;2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT);2019-10
4. CTL* with graded path modalities;Information and Computation;2018-10
5. Depth-First Reasoning on Trees;Computación y Sistemas;2018-03-30