Keyword : order-sorted signature


Syntactic Unification Problems under Constrained Substitutions
Kazuhiro TAKADA Yuichi KAJI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/05/25
Vol. E80-D  No. 5 ; pp. 553-561
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
unification problemdecidabilitycomputational complexityorder-sorted signaturetree automata
 Summary | Full Text:PDF(739.2KB)