Observational Semantics for Dynamic Logic with Binders (Q5208504)
From MaRDI portal
scientific article; zbMATH DE number 7152407
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observational Semantics for Dynamic Logic with Binders |
scientific article; zbMATH DE number 7152407 |
Statements
Observational Semantics for Dynamic Logic with Binders (English)
0 references
16 January 2020
0 references
