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 problem, decidability, computational complexity, order-sorted signature, tree automata, |
