Sign in
Reversible Bond Logic.
Hannah Amelie Earley
Published in:
DNA (2023)
Keyphrases
</>
classical logic
logic programming
predicate logic
modal logic
markov chain
cellular automata
computational properties
epistemic logic
sound and complete axiomatization
real world
case study
inference rules
truth values
deontic logic
natural deduction