On an Equivalence between Continuation and Stack Semantics.

Published in: Acta Informatica (1977)

Keyphrases

formal semantics
conceptual graphs
neural network
semantic information
semantic representation
default theories
active rules
data mining
information retrieval
search engine
default logic
strong equivalence