Search filters

List of works by Carolyn Talcott

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude

scientific article published in 2018

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

scientific article published in 2016

Editorial

scientific article published on 17 February 2007

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

scientific article published in 2022

José Meseguer: Scientist and Friend Extraordinaire

scientific article published in 2015

Programming and symbolic computation in Maude

scientific article published in January 2020

Two Decades of Maude

scientific article published in 2015

Unification and Narrowing in Maude 2.4

scientific article published in 2009

Paulina is supported by:

About Paulina

Help