The Unification Problem for Confluent Semi-Constructor TRSs
IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.e93.d.2962
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2010
Authors
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)