RUS
ENG
Full version
PEOPLE
Limón-Priego Yensen
Publications in Math-Net.Ru
Mu-calculus satisfiability with arithmetic constraints
Proceedings of ISP RAS
,
33
:2 (2021),
191–200
©
Steklov Math. Inst. of RAS
, 2024