Inproceedings,

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving.

, and .
PROLE, volume 206 of Electronic Notes in Theoretical Computer Science, page 23-40. Elsevier, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews