Login / Signup
Witold Charatonik
ORCID
Publication Activity (10 Years)
Years Active: 1991-2022
Publications (10 Years): 17
Top Topics
Predicate Logic
Abstract Machine
Parameterized Complexity
Tree Automata
Top Venues
CoRR
CSL
FSCD
ACM Trans. Comput. Log.
</>
Publications
</>