Login / Signup

Report of session on semantics.

Jack B. Dennis
Published in: SIGPLAN-SIGOPS Interface Meeting (1973)
Keyphrases
  • logical language
  • database
  • formal semantics
  • real time
  • semantic information
  • conceptual model
  • logic programming
  • nonmonotonic logics