Congruence closure of compressed terms in polynomial time (Q3172897)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5954772
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Congruence closure of compressed terms in polynomial time |
scientific article; zbMATH DE number 5954772 |
Statements
Congruence Closure of Compressed Terms in Polynomial Time (English)
0 references
7 October 2011
0 references
term rewriting
0 references
grammar-based compression
0 references
singleton tree grammars
0 references
congruence closure
0 references
0 references
0 references
0.8062671422958374
0 references
0.7983489036560059
0 references
0.7949476838111877
0 references
0.7826224565505981
0 references
