Publicações

Observational Semantics for Dynamic Logic with Binders

AuthID
P-00N-9W6

Author(s)

Hennicker, R

Madeira, A

Editor(es)

Phillip James; Markus Roggenbach

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10644, Páginas: 135-152

Conference

23Rd Ifip Wg 1.3 International Workshop on Algebraic Development Techniques, Wadt 2016, Date: 21 September 2016 through 24 September 2016

Indexing

Scopus^®

Dblp^®/pt/publications/view/698246

Crossref^®2

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-319-72044-9_10

DBLP: conf/wadt/HennickerM16

SCOPUS: 2-s2.0-85038210112

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.

Observational Semantics for Dynamic Logic with Binders

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Observational Semantics for Dynamic Logic with Binders

Links Úteis

Ajuda