University of Illinois Urbana-Champaign

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

Thumbnail for The Report of the  2019 NSF Cybersecurity Summit for  Large Facilities and Cyberinfrastructure
The Report of the 2019 NSF Cybersecurity Summit for Large Facilities and Cyberinfrastructure
Adams, Andrew; Benninger, Kathy; Dopheide, Jeannette; Krenz, Mark; Marsteller, James; Zage, John; Avila, Kay

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