Church-Rosser theorem for conjunctive type systems

Άρθρο Συνεδρίου uoadl:1046304 284 Αναγνώσεις

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