C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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