Login / Signup
Logics for Actor Networks: A two-stage constrained-hybridisation approach.
José Luiz Fiadeiro
Ionut Tutu
Antónia Lopes
Dusko Pavlovic
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
social networks
computer networks
heterogeneous networks
expressive power
modal logic
complex networks
constrained problems
network size
cellular networks
network design
network model
database
artificial neural networks
objective function
database systems
information retrieval
neural network
real time