Login / Signup
Timm Lampert
ORCID
Publication Activity (10 Years)
Years Active: 2008-2021
Publications (10 Years): 5
Top Topics
Satisfiability Modulo Theories
First Order Logic
Constraint Databases
Inference Rules
Top Venues
Log. J. IGPL
CoRR
IJCAR (1)
Rev. Symb. Log.
</>
Publications
</>
Timm Lampert
,
Markus Säbel
Wittgenstein's Elimination of Identity for Quantifier-Free Logic.
Rev. Symb. Log.
14 (1) (2021)
Timm Lampert
,
Anderson Nakano
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates.
IJCAR (1)
(2020)
Timm Lampert
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach.
Diagrams
(2018)
Timm Lampert
A Decision Procedure for Herbrand Formulae without Skolemization.
CoRR
(2017)
Timm Lampert
Minimizing disjunctive normal forms of pure first-order logic.
Log. J. IGPL
25 (3) (2017)
Michael Baumgartner
,
Timm Lampert
Adequate formalization.
Synth.
164 (1) (2008)