Characterizing Provability in BI’s Pointer Logic Through Resource Graphs (Q5387858)
From MaRDI portal
scientific article; zbMATH DE number 5279542
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing Provability in BI’s Pointer Logic Through Resource Graphs |
scientific article; zbMATH DE number 5279542 |
Statements
Characterizing Provability in BI’s Pointer Logic Through Resource Graphs (English)
0 references
27 May 2008
0 references
