Formal-Language-Constrained Path Problems.

Christopher L. Barrett Riko Jacob Madhav V. Marathe

Published in: SIAM J. Comput. (2000)

Keyphrases

formal language
artificial intelligence
database
text classification
software systems
first order logic
formal semantics
formal languages