Termination Conventions and Comparative Semantics.

Eric C. R. Hehner Andrew J. Malton

Published in: Acta Informatica (1988)

Keyphrases

rewrite systems
active rules
formal semantics
logic programming
termination analysis
artificial intelligence
semantic information
comparative analysis
term rewriting
database
real time
first order logic
conceptual graphs
logical language