673 followers
1,309 followers
Here is the last slide of Bahareh Afshari's invited talk, including recent references. #AiML2020 https://t.co/T6blZYeGXo
1,212 followers
1,309 followers
Here are two of the main articles that Afshari is discussing #AiML2020: Afshari, Jäger, & Leigh. An infinitary treatment of full mu-calculus. 2019 WoLLIC. https://t.co/MaR4xTMs4w Afshari & Leigh. Cut-free completeness for modal mu-calculus, 2017