Login / Signup
Mirjana Borisavljevic
Publication Activity (10 Years)
Years Active: 1999-2023
Publications (10 Years): 5
Top Topics
Linear Time Temporal Logic
Automatically Segmented
Proof Procedure
Natural Deduction
Top Venues
Log. J. IGPL
Logica Universalis
FLAP
Rev. Symb. Log.
</>
Publications
</>