Login / Signup
Richard Moot
ORCID
Publication Activity (10 Years)
Years Active: 2000-2024
Publications (10 Years): 25
Top Topics
Proof Theoretic
Automatically Extracted
Anaphora Resolution
Linear Logic
Top Venues
CoRR
JSAI-isAI Workshops
J. Lang. Model.
J. Log. Lang. Inf.
</>
Publications
</>