University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 1,475 items
Thumbnail for Abstracts
Abstracts
Submitter: Howard Ding

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Back Matter
Back Matter
Submitter: Howard Ding

Thumbnail for iConference 2009 Program
iConference 2009 Program
iConference Planning Committee

Thumbnail for Back Matter
Back Matter
Submitter: Howard Ding