University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4471–4500 of 22,128 items
Thumbnail for A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José