Using categorical methods in computer science (Q5951279)
From MaRDI portal
scientific article; zbMATH DE number 1685375
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using categorical methods in computer science |
scientific article; zbMATH DE number 1685375 |
Statements
Using categorical methods in computer science (English)
0 references
6 January 2002
0 references
term rewriting
0 references
