Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Original Title:

Deciding normalization and computing normal forms for S-terms

Languages of Item:

English

Creator:

Zachos, Stathis
Routzounis, Stavros
Hilaris, Panos

Abstract:

Empty abstract

Main subject category:

Data Structures

Other subject categories:

Algorithms and Theory of Computation

Pages (from-to):

187-196

Persistent URL:

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