Foundations of Software Science and Computation Structures (Q5308459)
From MaRDI portal
scientific article; zbMATH DE number 5196512
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations of Software Science and Computation Structures |
scientific article; zbMATH DE number 5196512 |
Statements
Foundations of Software Science and Computation Structures (English)
0 references
28 September 2007
0 references
Programming languages
0 references
rewriting
0 references
termination
0 references
