Combination techniques and decision problems for disunification

Previous work on combination techniques considered the question of how to combine unification algorithms for disjoint equational theories E 1,…, E n in order to obtain a unification algorithm for the union E 1 ∪ ⋯ ∪ E n of the theories. Here we want to show that variants of this method may be used t...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 142; číslo 2; s. 229 - 255
Hlavní autoři:	Baader, Franz, Schulz, Klaus U.
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 15.05.1995 Elsevier
Témata:	Algorithmics. Computability. Computer arithmetics Applied sciences Artificial intelligence Computer science; control theory; systems Exact sciences and technology Pattern recognition. Digital image processing. Computational geometry Theoretical computing Free algebra Linear equation Algorithm Solvability Unification
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!