University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 571–600 of 2,063 items
Thumbnail for Extreme science and engineering discovery environment (XSEDE) highlights, 6th edition
Extreme science and engineering discovery environment (XSEDE) highlights, 6th edition
Extreme Science and Engineering Discovery Environment (XSEDE)

Thumbnail for Proving Ground Confluence of Equational Specifications Modulo Axioms
Proving Ground Confluence of Equational Specifications Modulo Axioms
Duran, Francisco; Meseguer, José; Rocha, Camilo

Thumbnail for Studies of Some Brittle Fracture Concepts
Studies of Some Brittle Fracture Concepts
Wright, R.N.; Hall, W.J.; Terry, S.W.; Nordell, W.J.; Erhard, G.R.

Thumbnail for Strong normalization for System F by HOAS on top of FOAS
Strong normalization for System F by HOAS on top of FOAS
Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J.