Login / Signup
A Constructive Proof for FLP.
Benjamin Bisping
Paul-David Brodmann
Tim Jungnickel
Christina Rickmann
Henning Seidler
Anke Stüber
Arno Wilhelm-Weidner
Kirstin Peters
Uwe Nestmann
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
theorem proving
mathematical proofs
real time
theorem prover
data sets
artificial intelligence
multiscale
data structure
multi agent systems
hidden markov models
linear logic
natural deduction
proof planning
formal proof