No label defined (Q4281581)
From MaRDI portal
scientific article; zbMATH DE number 512881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 512881 |
Statements
10 March 1994
0 references
program transformation
0 references
proof trees
0 references
transition graph
0 references
call graph
0 references
dependency graph
0 references
functional logic programming languages
0 references
unification
0 references
