A Type System for DNAQL (Q5200595)
From MaRDI portal
scientific article; zbMATH DE number 6102515
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Type System for DNAQL |
scientific article; zbMATH DE number 6102515 |
Statements
A Type System for DNAQL (English)
0 references
6 November 2012
0 references
