Proof search for propositional abstract separation logics via labelled sequents (Q5408442)
From MaRDI portal
scientific article; zbMATH DE number 6282444
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof search for propositional abstract separation logics via labelled sequents |
scientific article; zbMATH DE number 6282444 |
Statements
Proof search for propositional abstract separation logics via labelled sequents (English)
0 references
10 April 2014
0 references
abstract separation logic
0 references
automated reasoning
0 references
bunched implications
0 references
counter-model construction
0 references
labelled sequents
0 references
