Πρωτότυπος Τίτλος:
Church-Rosser theorem for conjunctive type systems
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Κολέτσος, Γεώργιος
Σταυρινός, Γεωργιος
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Μαθηματικά
Λέξεις-κλειδιά:
Church-Rosser theorem, conjunctive type systems
Σημειώσεις:
Περιλαμβάνει βιβλιογραφικές αναφορες
