The Worm Calculus.

Ana de Almeida Borges Joost J. Joosten

Published in: Advances in Modal Logic (2018)

Keyphrases

multiscale
network traffic
expert systems
computer viruses
social networks
search algorithm
anomaly detection
formal language
proof procedure
algebraic structure
database query languages
timed automata