JOSE
GAINTZARAIN IBARMIA
IRAKASLE TITULARRA
Doktorego-tesia
-
Invariant-free deduction systems for temporal logic 2012
Universidad del País Vasco - Euskal Herriko Unibertsitatea