TY - CONF
TI - Arity hierarchies for fixed-point logic
AU - Αφράτη, Φώτω Ν.
PY - 1997
SP - 105-115
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -