Observational Semantics for Dynamic Logic with Binders
Observational Semantics for Dynamic Logic with Binders
Date
2016
Authors
Hennicker,R
Alexandre Castro Madeira