Dependently-typed formalisation of typed term graphs (Q4964703)
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 7317238
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dependently-typed formalisation of typed term graphs |
scientific article; zbMATH DE number 7317238 |
Statements
3 March 2021
0 references
0.8686265349388123
0 references
0.8270724415779114
0 references
0.7111572623252869
0 references
0.7094542384147644
0 references
