Login / Signup
Thomas Sternagel
ORCID
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 8
Top Topics
Rewrite Systems
Tree Automata
Theorem Proving
Knuth Bendix
Top Venues
CoRR
RTA-TLCA
PxTP@CADE
FSCD
</>
Publications
</>