diff options
author | David A. Madore <david+git@madore.org> | 2023-11-03 11:21:04 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-11-03 11:21:04 +0100 |
commit | 85df3d74a89bbb8591db16e2dbd057d1fcb42a2a (patch) | |
tree | b90f0ebfe6e78bb7d782fbfcc1f0492c2ca263ba /vc | |
parent | 97edd176bc99254f9379dfdd1b271a8381be8fad (diff) | |
download | inf110-lfi-85df3d74a89bbb8591db16e2dbd057d1fcb42a2a.tar.gz inf110-lfi-85df3d74a89bbb8591db16e2dbd057d1fcb42a2a.tar.bz2 inf110-lfi-85df3d74a89bbb8591db16e2dbd057d1fcb42a2a.zip |
Reformulate formalizations of Turing reduction.
(Still not happy about this.)
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions