Sign in
The Nonexistence of Finite Axiomatisations for CCS Congruences
Faron Moller
Published in:
LICS (1990)
Keyphrases
</>
equational theories
data sets
information systems
finite number
unit length
real time
neural network
information retrieval
metadata
image processing
website
multiscale