Concepedia
Statistics
Publications
7
Citations
207
H-Index
Active since
2012
Affiliations
University of Verona(Current)
University of Trento
Daniel Wessel is an author at University of Verona specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsLanguageSemanticsLinguisticsComputer ScienceLogic ProgrammingSyntaxBusiness
Publications per year
2012–2020
Reflection as a catalyst for organisational learning
Kristin Knipfer, Barbara Kump, Daniel Wessel · Studies in Continuing Education · 2012 · 87 citations
Team Learning, Refined Psychological Model, Work-integrated Learning +19
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
Davide Rinaldi, Peter Schuster, Daniel Wessel · Bulletin of Symbolic Logic · 2017 · 44 citations
Engineering, Boolean Function, Automated Proof +16
Eliminating disjunctions by disjunction elimination
Davide Rinaldi, Peter Schuster, Daniel Wessel · Indagationes Mathematicae · 2017 · 25 citations
Engineering, Boolean Function, Automated Reasoning +5
Cut elimination for entailment relations
Davide Rinaldi, Daniel Wessel · Archive for Mathematical Logic · 2018 · 18 citations
Automated Reasoning, Propositional Logic, Entailment (Linguistics) +5
Extension by Conservation. Sikorski's Theorem
Davide Rinaldi, Daniel Wessel · arXiv (Cornell University) · 2016 · 12 citations · Full text
Algebraic Logic, Constructive Mathematics, Engineering +10
1–5 of 7