![Applied mathematics / Maude system / Denotational semantics / Formal language / Structure / Combinatory logic / Rewriting / Operational semantics / Strategy / Theoretical computer science / Logic in computer science / Mathematics Applied mathematics / Maude system / Denotational semantics / Formal language / Structure / Combinatory logic / Rewriting / Operational semantics / Strategy / Theoretical computer science / Logic in computer science / Mathematics](https://www.pdfsearch.io/img/968efa7bd09b31d4c573978fa2264a0c.jpg)
| Document Date: 2007-12-31 03:35:21 Open Document File Size: 252,93 KBShare 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 |