University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 301–330 of 750 items
Thumbnail for Order-sorted Equality Enrichments Modulo Axioms
Order-sorted Equality Enrichments Modulo Axioms
Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo