Login / Signup
Markus Säbel
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Rewrite Systems
Theorem Proving
Active Rules
Quantifier Free
Top Venues
Rev. Symb. Log.
</>
Publications
</>
Timm Lampert
,
Markus Säbel
Wittgenstein's Elimination of Identity for Quantifier-Free Logic.
Rev. Symb. Log.
14 (1) (2021)