Automata-driven efficient subterm unification (Q5940920)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automata-driven efficient subterm unification |
scientific article; zbMATH DE number 1635071
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata-driven efficient subterm unification |
scientific article; zbMATH DE number 1635071 |
Statements
Automata-driven efficient subterm unification (English)
0 references
20 August 2001
0 references
syntactic unification
0 references
subterm unification algorithm
0 references
string-matching automata
0 references
