The Unification Problem for Confluent Semi-Constructor TRSs

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.e93.d.2962
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)