University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 204 items
Thumbnail for Variants of Variants and the Finite Variant Property
Variants of Variants and the Finite Variant Property
Cholewa, Andrew; Meseguer, José; Escobar, Santiago

Thumbnail for Strand Spaces with Choice via a Process Algebra Semantics
Strand Spaces with Choice via a Process Algebra Semantics
Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia

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 Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for Folding Variant Narrowing and Optimal Variant Termination
Folding Variant Narrowing and Optimal Variant Termination
Escobar, Santiago; Sasse, Ralf; Meseguer, José

Thumbnail for Variant Narrowing and Extreme Termination
Variant Narrowing and Extreme Termination
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Variant Narrowing and Equational Unification
Variant Narrowing and Equational Unification
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Effectively Checking or Disproving the Finite Variant Property
Effectively Checking or Disproving the Finite Variant Property
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Variant Narrowing and Extreme Termination
Variant Narrowing and Extreme Termination
Escobar, Santiago; Meseguer, José; Sasse, Ralf