Type Disciplines for Analysing Biologically Relevant Properties (Q5179427)
From MaRDI portal
scientific article; zbMATH DE number 6417440
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type Disciplines for Analysing Biologically Relevant Properties |
scientific article; zbMATH DE number 6417440 |
Statements
Type Disciplines for Analysing Biologically Relevant Properties (English)
0 references
19 March 2015
0 references
calculus of looping sequences
0 references
term rewriting
0 references
biological properties
0 references
