Publicações

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

AuthID
P-00N-JMR

Author(s)

Fiadeiro, J

Ţuţu, I

Lopes, A

Pavlovic, D

Editor(es)

Madeira A.Madeira A.Benevides M.

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 10669 LNCS, Páginas: 98-114

Conference

1St International Workshop on Dynamic Logic, Dali 2017, Date: 23 September 2017 through 24 September 2017

Indexing

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-319-73579-5_7

SCOPUS: 2-s2.0-85041113282

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.

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Logics for Actor Networks: A Case Study in Constrained Hybridization: A Case Study in Constrained Hybridization

Links Úteis

Ajuda