Login / Signup

On an Equivalence between Continuation and Stack Semantics.

Bruce Russell
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