Login / Signup
A note on strictly positive logics and word rewriting systems.
Lev D. Beklemishev
Published in:
CoRR (2015)
Keyphrases
</>
rewriting systems
expressive power
modal logic
rewriting rules
databases
keywords
database