A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗

From MaRDI portal

Revision as of 21:53, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3165970

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2008.1764zbMath1248.68279OpenAlexW1584498345MaRDI QIDQ3165970

Juan Rodríguez-Hortalá

Publication date: 19 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2343.html

zbMATH Keywords

term rewriting systems non-determinism functional-logic programming call-time choice semantics constructor-based rewriting logic run-time choice

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Uses Software

This page was built for publication: A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3165970&oldid=16257315"