Login / Signup
Robert C. Neveln
Publication Activity (10 Years)
Years Active: 1981-2015
Publications (10 Years): 1
Top Topics
Natural Language Parsing
Linguistic Analysis
Formal Proofs
Semantically Annotated
Top Venues
CICM (Work in Progress)
</>
Publications
</>
Robert C. Neveln
,
Robert A. Alps
Parsing Texts and Checking Proofs in LATEX.
CICM (Work in Progress)
(2015)
Robert A. Alps
,
Robert C. Neveln
A predicate logic based on indefinite description and two notions of identity.
Notre Dame J. Formal Log.
22 (3) (1981)