Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation (Q2914237)
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: Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation |
scientific article; zbMATH DE number 6086014
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation |
scientific article; zbMATH DE number 6086014 |
Statements
25 September 2012
0 references
decision procedure
0 references
associativity and commutativity
0 references
rewriting
0 references
AC-completion
0 references
SMT solvers
0 references
Shostak's algorithm
0 references
0.98414445
0 references
0.8550677
0 references
0.85373944
0 references
0 references
0.85224164
0 references
0.85079914
0 references
0.84840685
0 references
0.8432809
0 references
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation (English)
0 references
