Login / Signup
Dorota Leszczynska-Jasion
ORCID
Publication Activity (10 Years)
Years Active: 2008-2022
Publications (10 Years): 6
Top Topics
Logical Theories
Sequent Calculus
Dominance Relation
Search Heuristics
Top Venues
Stud Logica
Log. J. IGPL
ACM Trans. Comput. Log.
J. Log. Lang. Inf.
</>
Publications
</>