par Buckley, Mitchell
Référence Journal of Formalized Reasoning, 8, 1, page (25-48)
Publication Publié, 2015
Référence Journal of Formalized Reasoning, 8, 1, page (25-48)
Publication Publié, 2015
Article révisé par les pairs
Titre: |
|
Auteur: | Buckley, Mitchell |
Informations sur la publication: | Journal of Formalized Reasoning, 8, 1, page (25-48) |
Statut de publication: | Publié, 2015 |
Sujet CREF: | Informatique mathématique |
Mots-clés: | parity complex |
omega category | |
category | |
pasting diagram | |
excision of extremals | |
Langue: | Anglais |
Identificateurs: | urn:issn:1972-5787 |