Login / Signup

A Constraint Solving Approach to Parikh Images of Regular Languages.

Amanda StjernaPhilipp Rümmer
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • constraint solving
  • spatial information
  • constraint propagation
  • regular languages
  • dynamic programming
  • grammatical inference