Robert C. Neveln

Publication Activity (10 Years)

Years Active: 1981-2015
Publications (10 Years): 0

Top Topics

Natural Language Parsing

Linguistic Analysis

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)