par Jakobovits, Hadassa ;Vermeir, Dirk
Référence Journal of logic and computation, 9, 2, page (215-261)
Publication Publié, 1999-04
Référence Journal of logic and computation, 9, 2, page (215-261)
Publication Publié, 1999-04
Article révisé par les pairs
Titre: |
|
Auteur: | Jakobovits, Hadassa; Vermeir, Dirk |
Informations sur la publication: | Journal of logic and computation, 9, 2, page (215-261) |
Statut de publication: | Publié, 1999-04 |
Sujet CREF: | Logique mathématique |
Informatique appliquée logiciel | |
Informatique mathématique | |
Technologie informatique hardware | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0955-792X |
info:scp/0032637180 |