Modular Labelled Sequent Calculi for Abstract Separation Logics (Q4579962)
From MaRDI portal
scientific article; zbMATH DE number 6916527
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Labelled Sequent Calculi for Abstract Separation Logics |
scientific article; zbMATH DE number 6916527 |
Statements
Modular Labelled Sequent Calculi for Abstract Separation Logics (English)
0 references
10 August 2018
0 references
labelled sequent calculus
0 references
abstract separation logics
0 references
automated reasoning
0 references
bunched implications
0 references
counter-model construction
0 references
