Login / Signup
Lauri Hella
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 28
Top Topics
Prime Implicates
Modal Logic
Fixed Point
Expressive Power
Top Venues
CoRR
CSL
Advances in Modal Logic
Inf. Comput.
</>
Publications
</>