Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635)
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 |
scientific article; zbMATH DE number 5897395
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Canonized Rewriting and Ground AC Completion Modulo Shostak Theories |
scientific article; zbMATH DE number 5897395 |
Statements
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (English)
0 references
19 May 2011
0 references
decision procedure
0 references
associativity
0 references
commutativity
0 references
rewriting
0 references
AC-completion
0 references
SMT solvers
0 references
Shostak's algorithm
0 references
0 references
0.98414445
0 references
0.86713845
0 references
0.86486167
0 references
0.8620806
0 references
0.85561717
0 references
0.8539362
0 references
0.85341626
0 references
0.8514884
0 references
0.85148835
0 references
