Continuous semantics for strong normalisation.

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

logic programming
neural network
formal semantics
semantic information
operational semantics
logical language
database
data sets
information retrieval
artificial intelligence
piecewise linear
graphical representation
intended meaning