A Fully abstract presheaf semantics for SCCS with finite delay.

Thomas T. Hildebrandt

Published in: CTCS (1999)

Keyphrases

formal semantics
neural network
high level
databases
higher level
logic programming
complete axiomatization
database
propositional dynamic logic
critical path
owl ontologies
default reasoning
conceptual graphs
control system
web services
knowledge base
data sets
real time