-Skew Confluence and Abstract Böhm Semantics.

Zena M. Ariola Stefan Blom

Published in: Processes, Terms and Cycles (2005)

Keyphrases

rewrite systems
formal semantics
semantic information
low level
update operators
high level
transformation rules
specification language
graphical representation
propositional dynamic logic
databases
operational semantics
logic programming
higher level
domain knowledge
metadata
information systems
genetic algorithm