المؤلفون: Gao, Su, Ziegler, Caleb

مصطلحات موضوعية: polynomial-time relation reducibility, strong reduction function, finitary equivalence relations, finite equivalence relations, 03D15, 68Q15, 68Q17

وصف الملف: application/pdf

Relation: http://projecteuclid.org/euclid.ndjfl/1488510091; Notre Dame J. Formal Logic 58, no. 2 (2017), 271-285

الاتاحة: http://projecteuclid.org/euclid.ndjfl/1488510091
https://doi.org/10.1215/00294527-3867118

المؤلفون: Su Gao, Caleb Ziegler

المصدر: Notre Dame J. Formal Logic 58, no. 2 (2017), 271-285

مصطلحات موضوعية: Discrete mathematics, Transitive relation, finite equivalence relations, Logic, 010102 general mathematics, finitary equivalence relations, Quotient algebra, 0102 computer and information sciences, Congruence relation, 68Q15, Matrix equivalence, 01 natural sciences, 68Q17, Borel equivalence relation, 010201 computation theory & mathematics, 03D15, polynomial-time relation reducibility, strong reduction function, Equivalence relation, 0101 mathematics, Adequate equivalence relation, Equivalence class, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3da988b36921c4b54bed05c67b615cd6
http://projecteuclid.org/euclid.ndjfl/1488510091