The Height of Piecewise-Testable Languages with Applications in Logical Complexity.

Prateek Karandikar Philippe Schnoebelen

Published in: CSL (2016)

Keyphrases

expressive power
databases
computational complexity
worst case
cross lingual
complexity analysis
multi lingual
neural network
programming language
language independent
language identification
logical reasoning