Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Κανονικές γλώσσες, πεπερασμένα αυτόματα (Μέρος α')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
.Κανονικές Γραμμές και πεπερασμένα αυτόματα (μέρος β')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Πεπερασμένα αυτόματα (Μέρος γ')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Λήμμα Άντλησης για Κανονικες ΓλώσσεςΘεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Γραμματικές και Γλώσσες χωρίς ΣυμφραζόμεναΘεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμεναΘεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Μηχανές Turing, υπολογισιμότητα (Mέρος α')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Μηχανές Turing, υπολογισιμότητα (Mέρος β')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος α')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη - υπολογισιμότητα το πρόβλημα του τερματισμού (Μέρος β')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος γ')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος δ')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος ε')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος στ')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Αναγωγή και Πληρότητα (Μέρος α')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Αναγωγή και Πληρότητα (Μέρος β')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Αναγωγή και Πληρότητα (Μέρος γ')Θεωρία Υπολογισμού, Τμήμα Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Μη-ντετερμινισμός και NP-πληρότητα, σχέση Ρ και ΝΡ