Symbolic Bisimulation in the Spi Calculus.
Johannes BorgströmSébastien BriaisUwe NestmannPublished in: CONCUR (2004)
Keyphrases
- symbolic representation
- high level
- automated deduction
- database
- symbolic description
- databases
- neural learning
- database systems
- equivalence relation
- connectionist models
- description logics
- symbolic reasoning
- computer algebra
- algebraic structure
- data model
- decision trees
- artificial intelligence
- learning algorithm
- real time