The Use of Terminal Semantics for Disproving Inductive Theorems.

Published in: ADT (1986)

Keyphrases

formal semantics
semantic information
operational semantics
real time
logic programming
information systems
relational databases
conceptual model
concept learning
conceptual graphs
transformation rules
logical language
update semantics