Term rewrite systems to derive set boolean operations on 2D-objects

Abstract : no abstract
Type de document :
Communication dans un congrès
Formal Methods Europe, 1997, Unknown, Unknown Region. Springer Verlag, 1313, pp.605--623, 1997, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01208570
Contributeur : David Cazier <>
Soumis le : vendredi 2 octobre 2015 - 18:01:38
Dernière modification le : samedi 27 octobre 2018 - 01:26:51

Identifiants

  • HAL Id : hal-01208570, version 1

Citation

David Cazier, Jean-François Dufourd. Term rewrite systems to derive set boolean operations on 2D-objects. Formal Methods Europe, 1997, Unknown, Unknown Region. Springer Verlag, 1313, pp.605--623, 1997, Lecture Notes in Computer Science. 〈hal-01208570〉

Partager

Métriques

Consultations de la notice

92