Login / Signup
Tomasz Kowalski
ORCID
Publication Activity (10 Years)
Years Active: 1994-2024
Publications (10 Years): 18
Top Topics
Von Neumann
Flat Zones
Quantifier Elimination
Modal Logic
Top Venues
CoRR
Int. J. Algebra Comput.
Ann. Pure Appl. Log.
Notre Dame J. Formal Log.
</>
Publications
</>