Deciding normalization and computing normal forms for S-terms

Conference Paper uoadl:1041459 756 Read counter

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
The digital material of the item is not available.