Termination of Abstract Reduction Systems

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054109006450
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt