Back to Results
First PageMeta Content
Mathematical structures / Model theory / Formal languages / Algebraic structures / Metalogic / Structure / Rewriting / Maude system / Unification / Mathematical logic / Mathematics / Logic


On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain
Add to Reading List

Document Date: 2012-09-13 14:58:46

Open Document

File Size: 480,96 KB

Share Result on Facebook

Company

Bendix / /

Facility

Spain Jos´e Meseguer University of Illinois / /

IndustryTerm

built-in order-sorted unification algorithm / /

Organization

Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad / University of Illinois / /

Person

Francisco Dur´an / /

Position

interpreter / /

ProgrammingLanguage

E / T / R / Maude system / /

ProvinceOrState

Illinois / /

Technology

built-in order-sorted unification algorithm / A-matching algorithm / /

URL

http /

SocialTag