Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from A note on Rabin's width of a complete proof. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/800061.808735
10.1145/800061.808735 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1987 · External reference
10.1007/bf02567365
10.1007/bf02567365 · 1977 · External reference
10.1007/bf00147875
10.1007/bf00147875 · 1984 · External reference
Unresolved reference
External reference
10.1007/bfb0062252
10.1007/bfb0062252 · 1982 · External reference
10.1007/3-540-10856-4_99
10.1007/3-540-10856-4_99 · 1981 · External reference
Unresolved reference
1991 · External reference
10.1016/s0022-0000(72)80034-5
10.1016/s0022-0000(72)80034-5 · 1972 · External reference
Unresolved reference
External reference
10.24033/asens.1293
10.24033/asens.1293 · 1975 · External reference
Unresolved reference
External reference
Unresolved reference
1990 · External reference
Unresolved reference
1990 · External reference
