Login / Signup
Implementing CCS in Maude.
Alberto Verdejo
Narciso Martí-Oliet
Published in:
FORTE (2000)
Keyphrases
</>
artificial intelligence
database
information systems
efficient implementation
databases
machine learning
image processing
three dimensional
reinforcement learning
markov random field
formal specification
equational theories