Login / Signup
Semantic Labelling for Proving Termination of Combinatory Reduction Systems.
Makoto Hamana
Published in:
WFLP (2009)
Keyphrases
</>
learning systems
real time
data sets
artificial intelligence
natural language
management system
natural language processing
distributed systems
semantic knowledge
data mining
information systems
semantic information
complex systems
semantic representation
rewrite systems