Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742)
From MaRDI portal
scientific article; zbMATH DE number 7631136
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conditional rewrite rule systems with built-in arithmetic and induction |
scientific article; zbMATH DE number 7631136 |
Statements
Conditional rewrite rule systems with built-in arithmetic and induction (English)
0 references
9 December 2022
0 references
