University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 571–600 of 1,473 items
Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Investigation of the efficiency and durability of spur gears
Investigation of the efficiency and durability of spur gears
Ham, Clarence Walter; Huckert, Jesse William

Thumbnail for The mineral content of Illinois waters
The mineral content of Illinois waters
Bartow, Edward; Parr, Samuel Wilson; Palmer, George Thomas; Udden, Johan August

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

Thumbnail for Fatigue tests of riveted joints : a report
Fatigue tests of riveted joints : a report
Wilson, Wilbur M.; Thomas, Frank P.

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Students' directory. 1968-1969
Students' directory. 1968-1969
University of Illinois at Urbana-Champaign