Afshari, Bahareh

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Afshari, Bahareh; Jäger, Gerhard Max; Leigh, Graham E. (July 2019). An Infinitary Treatment of Full Mu-Calculus. Lecture notes in computer science, 11541, pp. 17-34. Springer 10.1007/978-3-662-59533-6_2

This list was generated on Thu Oct 21 21:16:42 2021 CEST.
Provide Feedback