Explicit Identifiers and Contexts in Reversible Concurrent Calculus.

Clément Aubert Doriana Medic

Published in: RC (2021)

Keyphrases

cellular automata
markov chain
automated deduction
case study
data structure
relational databases
computer algebra
real time
data mining
automated theorem proving