Victoria Vollmer

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Information Retrieval Systems

Mathematical Models

Top Venues

Publications

Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard
A Mixed Linear and Graded Logic: Proofs, Terms, and Models. CoRR (2024)