Infinitary Rewriting: From Syntax to Semantics.

Richard Kennaway Paula Severi M. Ronan Sleep Fer-Jan de Vries

Published in: Processes, Terms and Cycles (2005)

Keyphrases

operational semantics
definition language
formal semantics
lexical semantics
logic programming
precisely defined
high level
semantic information
predicate calculus
rule language
machine processable
natural language processing
conceptual model
model theoretic
rewrite rules
natural language