A Complete, Co-inductive Syntactic Theory of Sequential Control and State.

Kristian Støvring Søren B. Lassen

Published in: Semantics and Algebraic Specification (2009)

Keyphrases

control theory
natural language
theoretical framework
database
neural network
control system
information retrieval
inductive learning
domain theory
process control
semantic representation