Login / Signup
Philipp Lücke
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 12
Top Topics
Closure Properties
Tree Automata
Knuth Bendix
Medium Size
Top Venues
Ann. Pure Appl. Log.
J. Symb. Log.
Order
Math. Log. Q.
</>
Publications
</>