Skip to content

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

Alain Colmerauer, Thi-Bich-Hanh Dao

VenueACP
Year2000
ProceedingsCP

Browse the full CP paper archive.