University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 4,268 items
Thumbnail for Prosody and children's parsing of sentences
Prosody and children's parsing of sentences
Kleiman, Glenn M.; Winogard, Peter N.; Humphrey, Mary M.

Thumbnail for Abstracts
Abstracts
Submitter: Howard Ding

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu