University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9241–9270 of 12,277 items
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 The Opsins and Nuclear Receptors of the Honey Bee
The Opsins and Nuclear Receptors of the Honey Bee
Velarde Montecinos, Rodrigo Ariel

Thumbnail for Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Caetano-Anolles, Gustavo; Sun, Feng-Jie; Wang, Minglei; Yafremava, Liudmila S.; Harish, Ajith; Kim, Hee Shin; Knudsen, Vegeir; Caetano-Anolles, Derek; Mittenthal, Jay E.