University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 301–330 of 1,192 items
Thumbnail for Program Verification by Coinduction
Program Verification by Coinduction
Rosu, Grigore; Moore, Brandon

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems
Maximal Causal Models for Sequentially Consistent Systems
Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Zur Wort-und Ideengeschichte bei Klopstock
Zur Wort-und Ideengeschichte bei Klopstock
Adler, Frederick Henry Herbert

Thumbnail for Maximal Causal Models for Multithreaded Systems
Maximal Causal Models for Multithreaded Systems
Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Annual register. 1918-19
Annual register. 1918-19
University of Illinois at Urbana-Champaign

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules
Towards Effectively Eliminating Conditional Rewrite Rules
Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Inorganic seminar abstracts. 1969-70
Inorganic seminar abstracts. 1969-70
University of Illinois at Urbana-Champaign. Deptartment of Chemistry

Thumbnail for A Semantic Approach to Interpolation
A Semantic Approach to Interpolation
Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore