Login / Signup
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.
Tim Lyon
Published in:
LFCS (2020)
Keyphrases
</>
intelligent systems
management system
distributed systems
high level
computer systems
visual features
fixed point
semantic similarity