Login / Signup
Damian Niwinski
Publication Activity (10 Years)
Years Active: 1982-2023
Publications (10 Years): 11
Top Topics
Computational Logic
Tree Automata
Dissertation Discusses
Fixed Point
Top Venues
Fundam. Informaticae
CSL
Bull. EATCS
LICS
</>
Publications
</>