Chelsea Battell

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Epistemic Logic

Domain Specific Languages

Pattern Detection

Modular Neural Network

Top Venues

Publications

Chelsea Battell
Domain Specific Language for Modular Knitting Pattern Definitions: Purl. CoRR (2016)
Chelsea Battell, Amy P. Felty
The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid. LFMTP (2016)