Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe) Subject : algebra Subject : biology and life sciences Subject : psychology Geographic : united states فلترة بواسطة : كلمات مفتاحية

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq

Authors : Doczkal, Christian; Pous, Damien;

Subjects: Rewriting; Treewidth; AlgebraNew Orleans; LA; United States

Source: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي