Login / Signup
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).
Ingo Blechschmidt
Hajime Ishihara
Peter M. Schuster
Gabriele Buriola
Published in:
Dagstuhl Reports (2024)
Keyphrases
</>
natural deduction
logic programming
cut elimination
geometric structure
proof search
proof theory
social networks
theorem prover
modal logic
geometric constraints
theorem proving
multi valued
geometric information
asynchronous circuits
sequent calculus
image segmentation
knowledge base