default search action
"Knowledge forgetting in propositional μ-calculus."
Renyan Feng et al. (2023)
- Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen:
Knowledge forgetting in propositional μ-calculus. Ann. Math. Artif. Intell. 91(1): 1-43 (2023)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.