University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 313 items
Thumbnail for 62nd Illinois Fire College Brochure
62nd Illinois Fire College Brochure
Illinois Fire Service Institute

Thumbnail for 61st Illinois Fire College Brochure
61st Illinois Fire College Brochure
Illinois Fire Service Institute

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

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Type Inference
A Rewriting Logic Approach to Type Inference
Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore