University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 317 items
Thumbnail for A Modular Order-sorted Equational Generalization Algorithm
A Modular Order-sorted Equational Generalization Algorithm
Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José

Thumbnail for The Text of Prodromus' Novel
The Text of Prodromus' Novel
Marcovich, Miroslav

Thumbnail for Termination Modulo Combinations of Equational Theories
Termination Modulo Combinations of Equational Theories
Duran, Francisco; Lucas, Salvador; Meseguer, José