Items where Author, Editor or other role is "Vollmer, Victoria"

Up a level

Export as ASCII CitationBibTeXCSV For ExcelDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Vollmer, Victoria, Marshall, Daniel, Eades, Harley, Orchard, Dominic (2025) A mixed linear and graded logic: proofs, terms, and models. 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 326 . (doi:10.4230/LIPIcs.CSL.2025.32) (KAR id:112664)

This list was generated on Tue Mar 3 20:02:09 2026 GMT.