Normal Bisimulations in Calculi with Passivation.

Sergueï Lenglet Alan Schmitt Jean-Bernard Stefani

Published in: FoSSaCS (2009)

Keyphrases

three dimensional
sequent calculi
neural network
social networks
information systems
image processing
multiscale
user interface