Observational Semantics for Dynamic Logic with Binders

Thumbnail Image
Date
2016
Authors
Hennicker,R
Alexandre Castro Madeira
Journal Title
Journal ISSN
Volume Title
Publisher