Electronic proceedings in theoretical computer science

Up a level
Export as [feed] RSS
Group by: Date | Full Text Status
Jump to: 2017
Number of items: 1.

2017

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

This list was generated on Sun May 5 15:57:40 2024 CEST.
Provide Feedback