A complete proof system for Nested Term Graphs (Q4645805)
From MaRDI portal
scientific article; zbMATH DE number 7000083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A complete proof system for Nested Term Graphs |
scientific article; zbMATH DE number 7000083 |
Statements
A complete proof system for Nested Term Graphs (English)
0 references
11 January 2019
0 references
black hole
0 references
function symbol
0 references
proof system
0 references
garbage collection
0 references
underlying graph
0 references
