Institutions for Behavioural Dynamic Logic with Binders

Thumbnail Image
Files
P-00N-22J.pdf (356.11 KB)
Date
2017
Authors
Hennicker,R
Alexandre Castro Madeira
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/6301
Collections
HASLab - Indexed Articles in Conferences