Continuous Semantics for Strong Normalization.

Published in: CiE (2005)

Keyphrases

logic programming
preprocessing
formal semantics
normalization method
neural network
information retrieval
real time
web services
semantic information
image normalization
argumentation semantics