Research graph
References from Arithmetization: A new method in structural complexity theory. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/22145.22192
10.1145/22145.22192 · External reference
10.1109/sct.1990.113952
10.1109/sct.1990.113952 · External reference
10.1109/fscs.1990.89521
10.1109/fscs.1990.89521 · External reference
10.1007/bf01200056 · 1991 · Admitted local publication
10.1016/0022-0000(88)90028-1
10.1016/0022-0000(88)90028-1 · 1988 · External reference
10.1007/3-540-52282-4_30
10.1007/3-540-52282-4_30 · External reference
10.1007/3-540-52282-4_31
10.1007/3-540-52282-4_31 · External reference
Unresolved reference
External reference
10.1145/73007.73015
10.1145/73007.73015 · External reference
10.1145/100216.100225
10.1145/100216.100225 · External reference
10.1145/103418.103426
10.1145/103418.103426 · External reference
10.1145/322234.322243
10.1145/322234.322243 · 1981 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1137/0218012
10.1137/0218012 · 1989 · External reference
Unresolved reference
External reference
10.1109/sfcs.1986.47
10.1109/sfcs.1986.47 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1981 · External reference
10.1109/psct.1987.10319246
10.1109/psct.1987.10319246 · External reference
Unresolved reference
External reference
10.1145/28395.28404
10.1145/28395.28404 · External reference
10.1016/0304-3975(76)90061-x
10.1016/0304-3975(76)90061-x · 1977 · External reference
10.1109/sfcs.1989.63527
10.1109/sfcs.1989.63527 · External reference
10.1016/0304-3975(79)90044-6
10.1016/0304-3975(79)90044-6 · 1979 · External reference
10.1016/0304-3975(86)90135-0
10.1016/0304-3975(86)90135-0 · 1986 · External reference
10.1007/3-540-50517-2_80
10.1007/3-540-50517-2_80 · External reference
10.1142/s0129054191000066
10.1142/s0129054191000066 · External reference
