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
The undecidability of simultaneous rigid E-unification
Uppsala University.
Uppsala University.
1996 (English)In: THEORETICAL COMPUTER SCIENCE, ISSN 0304-3975, Vol. 166, no 1-2, 291-300 p.Article in journal (Other scientific) Published
Abstract [en]

Simultaneous rigid E-unification was introduced in 1987 by Gallier, Raatz and Snyder. It is used in the area of automated reasoning with equality in extension procedures, like the tableau method or the connection method. Many articles in this area assumed

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 1996. Vol. 166, no 1-2, 291-300 p.
Keyword [en]
EQUATIONAL MATINGS; LOGIC
Identifiers
URN: urn:nbn:se:uu:diva-27224OAI: oai:DiVA.org:uu-27224DiVA: diva2:55118
Note
Addresses: UPPSALA UNIV, DEPT COMP SCI, S-75105 UPPSALA, SWEDEN.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

By organisation
Uppsala University

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 319 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