Proof search in a context-sensitive logic for molecular biology (Q4612450)
From MaRDI portal
scientific article; zbMATH DE number 7009564
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof search in a context-sensitive logic for molecular biology |
scientific article; zbMATH DE number 7009564 |
Statements
Proof search in a context-sensitive logic for molecular biology (English)
0 references
31 January 2019
0 references
linear logic
0 references
non-monotonicity
0 references
labeled deductions
0 references
proof search
0 references
biochemical pathways
0 references
