University of Illinois at Urbana-Champaign

Academic Unit
Author(s)
Keyword(s)
Type of Resource
Showing 126–150 of 197 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