University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 194 items
Thumbnail for GSLIS Alumni Newsletter Spring 2012
GSLIS Alumni Newsletter Spring 2012
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

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