Login / Signup
Exploring Logic Artificial Chemistries: An Illogical Attempt?
Christof Teuscher
Published in:
CoRR (2007)
Keyphrases
</>
modal logic
predicate logic
delay insensitive
computational properties
sound and complete axiomatization
formal theory
database
automated reasoning
real world
data sets
logical framework
multi valued
artificial systems
expert systems
deontic logic
asynchronous circuits
proof theory