Termination of rewrite relations on λ-terms based on Girard's notion of reducibility.

Frédéric Blanqui

Published in: Theor. Comput. Sci. (2016)

Keyphrases

semantic relations
information retrieval
website
data structure
information extraction
natural language processing
co occurrence
spatial information
qualitative spatial reasoning