Algebraic Semantics of the Oberon Target Machine.

Alexandre V. Zamulin

Published in: Ershov Memorial Conference (1996)

Keyphrases

algebraic structure
logic programming
formal semantics
target recognition
data sets
information retrieval
database systems
higher order
neural network
image sequences
data sources
semantic information
target tracking
semantic representation
argumentation semantics