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 the normal view instead:
scientific article; zbMATH DE number 7000083
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7969267964363098
0 references
0.7817791700363159
0 references
0.7382672429084778
0 references
