More on bisimulations for higher order π-calculus.
Zining CaoPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- higher order
- lambda calculus
- high order
- natural images
- markov random field
- pairwise
- markov models
- low order
- databases
- lower order
- automated theorem proving
- computer algebra
- image processing
- automated deduction
- algebraic structure
- machine learning
- complex objects
- database
- relational calculus
- database query languages
- anti unification
- data sets