uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Monadic simultaneous rigid E-unification
Uppsala University.
Uppsala University.
1999 (English)In: THEORETICAL COMPUTER SCIENCE, ISSN 0304-3975, Vol. 222, no 1-2, 133-152 p.Article in journal (Other scientific) Published
Abstract [en]

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 problem. (C) 1999 Elsevier Science

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 1999. Vol. 222, no 1-2, 133-152 p.
Keyword [en]
simultaneous rigid E-unification; word equations; regular constraints
Identifiers
URN: urn:nbn:se:uu:diva-27342OAI: oai:DiVA.org:uu-27342DiVA: diva2:55237
Note
Addresses: Voronkov A, Univ Uppsala, Dept Comp Sci, Box 311, S-75105 Uppsala, Sweden. Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden. Univ Michigan, Dept EECS, Ann Arbor, MI 48109 USA.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-14

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 372 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf