Login / Signup
Taming Bounded Depth with Nested Sequents.
Lutz Straßburger
Matteo Tesi
Agata Ciabattoni
Published in:
AiML (2022)
Keyphrases
</>
linear logic
sequent calculus
depth information
depth map
real time
logical framework
data sets
probability distribution
logic programming
fixed point
modal logic
desirable properties
inference rules
depth images