Login / Signup
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi.
Alexander V. Lyaletski
Published in:
SYNASC (2008)
Keyphrases
</>
efficient inference
modal logic
image segmentation
first order logic
sequent calculi