Conditional circular coinductive rewriting with case analysis. (Q5900823)
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 5695612
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Conditional circular coinductive rewriting with case analysis. |
scientific article; zbMATH DE number 5695612 |
Statements
Recent Trends in Algebraic Development Techniques (English)
0 references
20 April 2010
0 references
0.8265447020530701
0 references
0.8068469762802124
0 references
0.790772557258606
0 references
0.7785775661468506
0 references
0.7722272276878357
0 references
