A complete proof system for Nested Term Graphs (Q4645805)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A complete proof system for Nested Term Graphs |
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
