Rigid Families for the Reversible π-Calculus.
Ioana CristescuJean KrivineDaniele VaraccaPublished in: RC (2016)
Keyphrases
- markov chain
- cellular automata
- three dimensional
- computer algebra
- artificial intelligence
- computational properties
- reversible watermarking
- algebraic structure
- formal language
- multiscale
- data structure
- evolutionary algorithm
- decision trees
- closed form
- rigid motion
- clustering algorithm
- information systems
- relational calculus
- automated deduction
- computer vision
- learning algorithm
- database