Subject
Algebra and Number Theory
Reference41 articles.
1. Cut normal forms and proof complexity;Baaz;Ann. Pure Appl. Logic,1998
2. Some two-generators one-relator non-Hopfian groups;Baumslag;Bull. Amer. Math. Soc,1962
3. A survey on groups with a single defining relation;Baumslag,1986
4. Certain simple unsolvable problems of group theory I;Boone;Nederl. Akad. Wetensch. Indag. Math,1954
5. The propositional pigeonhole principle has polynomial size frege proofs;Buss;J. Symbolic Logic,1987
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献