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

Juan Rodríguez-Hortalá

Published in: FSTTCS (2008)

Keyphrases

term rewriting systems
logic programs
functional programs
logic programming
formal semantics
semantic information
hierarchical structures
hierarchical structure
conceptual model
model theoretic