Ghari, Meghdad

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping

Journal Article

Bucheli, Samuel; Ghari, Meghdad; Studer, Thomas (2017). Temporal Justification Logic. Electronic proceedings in theoretical computer science, 243, pp. 59-74. NICTA 10.4204/EPTCS.243.5

Provide Feedback