Login / Signup
A. O'Conner
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Metadata
Scientific Articles
Functional Language
Proof Planning
Top Venues
WOSP@JCDL
</>
Publications
</>
M. Ramezani
,
Vijay Kalivarapu
,
Stephen B. Gilbert
,
Sarah Huffman
,
Elena Cotos
,
A. O'Conner
Rapid Tagging and Reporting for Functional Language Extraction in Scientific Articles.
WOSP@JCDL
(2017)