Semi-unification (Q808713): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: David R. Musser / rank | |||
Property / author | |||
Property / author: David R. Musser / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: RRL / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(91)90189-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2914435326 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About the Paterson-Wegman linear unification algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orderings for term-rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3674088 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear unification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3783520 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3774933 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:36, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semi-unification |
scientific article |
Statements
Semi-unification (English)
0 references
1991
0 references
non-termination
0 references
rewrite rule
0 references
term-rewriting system
0 references