Afshari, Bahareh

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

Journal Article

Afshari, Bahareh; Grotenhuis, Lide; Leigh, Graham E; Zenger, Lukas (2023). Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. Lecture notes in computer science, 14278, pp. 223-241. Springer 10.1007/978-3-031-43513-3_13

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 Sat Apr 20 03:04:29 2024 CEST.
Provide Feedback