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 Symbolic Model Checking of Infinite-State Systems Using Narrowing
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Escobar, Santiago; Meseguer, José

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 Variant Narrowing and Extreme Termination
Variant Narrowing and Extreme Termination
Escobar, Santiago; Meseguer, José; Sasse, Ralf

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

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 Equational Unification
Variant Narrowing and Equational Unification
Escobar, Santiago; Meseguer, José; Sasse, Ralf

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

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics
Extending the language and applications of Maude-NPA through rewriting semantics
Yang, Fan

Thumbnail for “Genetic Genealogy for the Study of Puerto Rican, Spanish, and Portuguese Family History: Lessons from the Sotomayor, Colón, and Pereiras.”
“Genetic Genealogy for the Study of Puerto Rican, Spanish, and Portuguese Family History: Lessons from the Sotomayor, Colón, and Pereiras.”
Sotomayor, Antonio

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

Thumbnail for Nelson Oppen combination as a rewrite theory
Nelson Oppen combination as a rewrite theory
Rodrigues, Nishant

Thumbnail for Folklorization and Afro-Ecuadorian music in Esmeraldas: discourses of vergüenza and projects of revalorización
Folklorization and Afro-Ecuadorian music in Esmeraldas: discourses of vergüenza and projects of revalorización
Wellington, Peter

Thumbnail for Marimba music, boundaries of diaspora, and epistemologies of the Colombian border in Esmeraldas, Ecuador
Marimba music, boundaries of diaspora, and epistemologies of the Colombian border in Esmeraldas, Ecuador
Wellington, Peter Judkins

Thumbnail for
"The Art Of Characterization In Representative Selections Of Ricardo Palma's ""tradiciones Peruanas."""
Tanner, Roy Lynn

Thumbnail for Maude-PSL: a new input language for Maude-NPA
Maude-PSL: a new input language for Maude-NPA
Cholewa, Andrew Russel

Thumbnail for Variant-Based Satisfiability
Variant-Based Satisfiability
Meseguer, José

Thumbnail for The cityscape and the modern gaze in Bogotá, 1930-1950
The cityscape and the modern gaze in Bogotá, 1930-1950
Pena Iguavita, Cesar Augusto

Thumbnail for Markets and Hierarchies in Late Colonial Spanish America: The Royal Tobacco Monopoly in the Viceroyalty of Peru, 1752--1813
Markets and Hierarchies in Late Colonial Spanish America: The Royal Tobacco Monopoly in the Viceroyalty of Peru, 1752--1813
Vizcarra, Kathleen Maria

Thumbnail for (Re)covering Women: The State, Morality, and Cultural Discourses of Sex -Work in Cuba
(Re)covering Women: The State, Morality, and Cultural Discourses of Sex -Work in Cuba
Garcia, Alyssa

Thumbnail for Harvard University's Widener Library Shelflist Conversion and Publication Program
Harvard University's Widener Library Shelflist Conversion and Publication Program
De Gennaro, Richard

Thumbnail for Grammaticalization of Spanish 'De': Reanalysis of (De)queismo in Southern Cone Dialects
Grammaticalization of Spanish 'De': Reanalysis of (De)queismo in Southern Cone Dialects
Del Moral, Carlos Gabriel

Thumbnail for Transforming subjectivities: global mental health, biopolitics, & depression in Chile
Transforming subjectivities: global mental health, biopolitics, & depression in Chile
Cuthbertson, Courtney

Thumbnail for Failure to deliver: transitional masculinities in late and post Francoist films (1963-1984)
Failure to deliver: transitional masculinities in late and post Francoist films (1963-1984)
Vivancos Alvarez, Ana M.

Thumbnail for Failure to Deliver: Transitional Masculinities in Late and Post Francoist Films (1963--1984)
Failure to Deliver: Transitional Masculinities in Late and Post Francoist Films (1963--1984)
Vivancos-Alvarez, Ana Maria

Thumbnail for Women's Organizing in a Global Context: Activism in Salvador, Brazil, at the Crossroad of Race, *Class and Gender
Women's Organizing in a Global Context: Activism in Salvador, Brazil, at the Crossroad of Race, *Class and Gender
Padilla, Elsa Beatriz

Thumbnail for Gabriel Garcia Marquez: A Study of His Fiction
Gabriel Garcia Marquez: A Study of His Fiction
West, Dennis Deforest