TY - THES
TI - Annotated sequent systems for linear temporal logic
AU - Κοκκίνης Ιωάννης
PY - 2015
C1 - Βιβλιοθήκη Σχολής Θετικών Επιστημών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -