Login / Signup
From Logic to Biology via Physics: a survey.
Giuseppe Longo
Maël Montévil
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
logic programming
computer science
modal logic
formal theory
automated reasoning
epistemic logic
deontic logic
scientific fields
sound and complete axiomatization
three dimensional
molecular biology
probabilistic logic
classical logic
set theory
delay insensitive
propositional dynamic logic