Login / Signup
Thomas Flamm
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Training Instances
Theorem Prover
Decision Rules
Logic Programs
Top Venues
DCFS
Theor. Comput. Sci.
</>
Publications
</>
Olga Dorzweiler
,
Thomas Flamm
,
Andreas Krebs
,
Michael Ludwig
Positive and negative proofs for circuits and branching programs.
Theor. Comput. Sci.
610 (2016)
Olga Dorzweiler
,
Thomas Flamm
,
Andreas Krebs
,
Michael Ludwig
Positive and Negative Proofs for Circuits and Branching Programs.
DCFS
(2014)