Sign in

Formal-Language-Constrained Path Problems.

Christopher L. BarrettRiko JacobMadhav 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