Login / Signup

Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.

Alain ColmerauerThi-Bich-Hanh Dao
Published in: Constraints An Int. J. (2003)
Keyphrases