Monadic simultaneous rigid E-unification

Authors
Gurevich, Y Voronkov, A
Citation
Y. Gurevich et A. Voronkov, Monadic simultaneous rigid E-unification, THEOR COMP, 222(1-2), 1999, pp. 133-152
Citations number
17
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
222
Issue
1-2
Year of publication
1999
Pages
133 - 152
Database
ISI
SICI code
0304-3975(19990706)222:1-2<133:MSRE>2.0.ZU;2-8
Abstract
We study the monadic case of a decision problem known as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this prob lem. (C) 1999 Elsevier Science B.V. All rights reserved.