Inproceedings,

Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels.

.
JFPLC, page 95-110. (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews