Molero-Castillo Guillermo

Publications in Math-Net.Ru

1. Mu-calculus satisfiability with arithmetic constraints
   
   Proceedings of ISP RAS, 33:2 (2021),  191–200
2. Regular expressions for web advertising detection based on an automatic sliding algorithm
   
   Proceedings of ISP RAS, 33:2 (2021),  65–76