Publicações

Institutions for Behavioural Dynamic Logic with Binders

AuthID
P-00N-22J

Author(s)

Hennicker, R

Madeira, A

Editor(es)

Dang Van Hung; Deepak Kapur

Tipo de Documento

Proceedings Paper

Year published

2017

Publicado

in Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10580, Páginas: 13-31

Conference

14Th International Colloquium on Theoretical Aspects of Computing, Ictac 2017, Date: 23 October 2017 through 27 October 2017

Indexing

Scopus^®

Dblp^®/pt/publications/view/690258

Crossref^®1

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-319-67729-3_2

DBLP: conf/ictac/HennickerM17

SCOPUS: 2-s2.0-85031415150

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Institutions for Behavioural Dynamic Logic with Binders

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Institutions for Behavioural Dynamic Logic with Binders

Links Úteis

Ajuda