Exclaim
发表于 2025-3-23 10:44:54
http://reply.papertrans.cn/55/5451/545077/545077_11.png
用手捏
发表于 2025-3-23 16:35:43
http://reply.papertrans.cn/55/5451/545077/545077_12.png
SLAG
发表于 2025-3-23 21:56:28
,I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion,
buoyant
发表于 2025-3-23 23:22:27
,II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussag
梯田
发表于 2025-3-24 02:34:02
http://reply.papertrans.cn/55/5451/545077/545077_15.png
PALSY
发表于 2025-3-24 07:02:50
http://reply.papertrans.cn/55/5451/545077/545077_16.png
说不出
发表于 2025-3-24 13:56:59
,V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme,
NOT
发表于 2025-3-24 18:18:36
VI. Polynomiale Transformationen und Auswahlaxiom,
Limpid
发表于 2025-3-24 20:08:45
,VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme,
推延
发表于 2025-3-24 23:24:18
,IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper,