Unification and matching on compressed terms (Q2946645): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1110492 |
Changed an Item |
||
Property / author | |||
Property / author: Manfred Schmidt-Schauss / rank | |||
Normal rank |
Revision as of 07:04, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unification and matching on compressed terms |
scientific article |
Statements
Unification and matching on compressed terms (English)
0 references
17 September 2015
0 references
term unification
0 references
context matching
0 references
singleton tree grammars
0 references