par Van de Bussche, Jan;Vansummeren, Stijn 
Référence ACM transactions on computational logic, 9, 1, article 3
Publication Publié, 2007

Référence ACM transactions on computational logic, 9, 1, article 3
Publication Publié, 2007
Article révisé par les pairs
Titre: |
|
Auteur: | Van de Bussche, Jan; Vansummeren, Stijn |
Informations sur la publication: | ACM transactions on computational logic, 9, 1, article 3 |
Statut de publication: | Publié, 2007 |
Sujet CREF: | Informatique mathématique |
Informatique générale | |
Langue: | Anglais |
Identificateurs: | urn:issn:1529-3785 |