Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq (Q3024845)
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 2185669
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq |
scientific article; zbMATH DE number 2185669 |
Statements
4 July 2005
0 references
0.836662232875824
0 references
0.8356003165245056
0 references
0.8350493311882019
0 references
0.8143136501312256
0 references
Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq (English)
0 references
