Login / Signup
Strongly Decidable Properties of Modal and Intuitionistic Calculi.
Larisa Maksimova
Published in:
Log. J. IGPL (2000)
Keyphrases
</>
linear logic
neural network
data sets
modal logic