Login / Signup
Piotr Kawalek
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 13
Top Topics
Satisfiability Problem
Guarded Fragment
Temporal Reasoning
Clifford Algebra
Top Venues
CoRR
LICS
MFCS
STACS
</>
Publications
</>