Proof Complexity and Textual Cohesion.

Published in: J. Log. Lang. Inf. (2015)

Keyphrases

artificial intelligence
complexity analysis
real time
linear logic
database
information retrieval
real world
metadata
multiscale
keywords
data structure
search algorithm
special case