A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗
From MaRDI portal
Publication:3165970
DOI10.4230/LIPIcs.FSTTCS.2008.1764zbMath1248.68279OpenAlexW1584498345MaRDI QIDQ3165970
Publication date: 19 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2343.html
term rewriting systemsnon-determinismfunctional-logic programmingcall-time choice semanticsconstructor-based rewriting logicrun-time choice
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Uses Software