University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7501–7530 of 11,176 items
Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Radiative transfer of ultrasound
Radiative transfer of ultrasound
Turner, Joseph A.; Weaver, Richard L.

Thumbnail for Cascade: A universal programmer-assisted type qualifier inference tool
Cascade: A universal programmer-assisted type qualifier inference tool
Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.