Grotenhuis, Lide

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

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

This list was generated on Tue Dec 3 18:43:10 2024 CET.
Provide Feedback