• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Explicit Identifiers and Contexts in Reversible Concurrent Calculus.

Clément AubertDoriana 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