Πέργαμος - Βιβλιοθήκη και Κέντρο Πληροφόρησης Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών

Πρωτότυπος Τίτλος:

Deciding normalization and computing normal forms for S-terms

Γλώσσες Τεκμηρίου:

Αγγλικά

Δημιουργός:

Zachos, Stathis
Routzounis, Stavros
Hilaris, Panos

Περίληψη:

Δεν υπάρχει περίληψη

Κύρια θεματική κατηγορία:

Δομές Δεδομένων

Λοιπές θεματικές κατηγορίες:

Αλγόριθμοι υπολογιστών

Σελίδες (από-έως):

187-196

Μόνιμη διεύθυνση:

https://pergamos.lib.uoa.gr/uoa/dl/object/1041459