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
A nondeterministic polynomial-time unification algorithm for bags, sets and trees
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
1999 (English)In: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, ISSN 0302-9743, Vol. 1578, 180-196 p.Article in journal (Refereed) Published
Abstract [en]

Unification in logic programming deals with tree-like data represented by terms. Some applications, including deductive databases, require handling more complex values, for example finite sets or bags (finite multisets). We extend unification to the combi

Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 1999. Vol. 1578, 180-196 p.
Keyword [en]
COMBINING DECISION PROCEDURES; DISJOINT EQUATIONAL THEORIES; QUERY LANGUAGES; LOGIC; UNION; VIEW; CLP
Identifiers
URN: urn:nbn:se:uu:diva-36492OAI: oai:DiVA.org:uu-36492DiVA: diva2:64391
Note
Addresses: Dantsin E, VA Steklov Math Inst, St Petersburg 191011, Russia. VA Steklov Math Inst, St Petersburg 191011, Russia. Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-14

Open Access in DiVA

No full text

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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