Strong isomorphism reductions in complexity theory
暂无分享,去创建一个
[1] Harvey M. Friedman,et al. A Borel reductibility theory for classes of countable structures , 1989, Journal of Symbolic Logic.
[2] Bettina Eick,et al. The groups of order at most 2000 , 2001 .
[3] J. R. Buzeman. Introduction To Boolean Algebras , 1961 .
[4] Telikepalli Kavitha. Efficient Algorithms for Abelian Group Isomorphism and Related Problems , 2003, FSTTCS.
[5] Juris Hartmanis,et al. Complexity Classes without Machines: On Complete Languages for UP , 1986, Theor. Comput. Sci..
[6] M Sidman,et al. Equivalence relations. , 1997, Journal of the experimental analysis of behavior.
[7] Lance Fortnow,et al. Complexity classes of equivalence problems revisited , 2009, Inf. Comput..
[8] Yuri Gurevich,et al. From Invariants to Canonization , 2001, Bull. EATCS.
[9] Andreas Blass,et al. Equivalence Relations, Invariants, and Normal Forms , 1983, SIAM J. Comput..
[10] Bettina Eick,et al. The Groups of Order at Most 1000 Except 512 and 768 , 1999, J. Symb. Comput..
[11] Juris Hartmanis,et al. Complexity Classes without Machines: On Complete Languages for UP , 1988, Theor. Comput. Sci..
[12] Stathis Zachos,et al. Does co-NP Have Short Interactive Proofs? , 1987, Inf. Process. Lett..
[13] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[14] Wojciech Kowalczyk,et al. Some Connections between Representability of Complexity Classes and the Power of Formal Systems of Reasoning , 1984, MFCS.
[15] Telikepalli Kavitha. Linear time algorithms for Abelian group isomorphism and related problems , 2007, J. Comput. Syst. Sci..
[16] Steven Givant,et al. Introduction to Boolean Algebras , 2008 .
[17] Yijia Chen,et al. On p-Optimal Proof Systems and Logics for PTIME , 2010, ICALP.
[18] A. Dawar. FINITE MODEL THEORY (Perspectives in Mathematical Logic) , 1997 .
[19] Thomas Thierauf,et al. The Computational Complexity of Equivalence and Isomorphism Problems , 2000, Lecture Notes in Computer Science.
[20] Gary L. Miller,et al. Isomorphism testing for graphs of bounded genus , 1980, STOC '80.