Login / Signup
Katalin Bimbó
ORCID
Publication Activity (10 Years)
Years Active: 1998-2023
Publications (10 Years): 7
Top Topics
Proof Search
Linear Logic
Current Trends
Query Answering
Top Venues
FLAP
Bull. Symb. Log.
Log. J. IGPL
WoLLIC
</>
Publications
</>