Back to Results
First PageMeta Content
Applied mathematics / Maude system / Denotational semantics / Formal language / Structure / Combinatory logic / Rewriting / Operational semantics / Strategy / Theoretical computer science / Logic in computer science / Mathematics


WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b
Add to Reading List

Document Date: 2007-12-31 03:35:21

Open Document

File Size: 252,93 KB

Share Result on Facebook

Currency

pence / /

/

Facility

University of Illinois / /

IndustryTerm

auxiliary infrastructure / main infrastructure / default breadth-first search strategy / a lot of infrastructure / /

Organization

University of Illinois / Universidad Complutense de Madrid / Spain Department of Computer Science / /

Person

Alberto Verdejoa / Maude Strategies Narciso Mart / /

Position

general operational semantics / /

ProgrammingLanguage

Maude system / T / /

ProvinceOrState

Illinois / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag