University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 351 items
Thumbnail for The Boilerplate Problem in Data Management Plans
The Boilerplate Problem in Data Management Plans
Keralis, Spencer D.C.; Grumbach, Elizabeth; Potvin, Sarah

Thumbnail for LTL Model Checking in Matching Logic
LTL Model Checking in Matching Logic
Tusil, Jan; Chen, Xiaohong

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore