diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-02 16:20:06 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-02 16:20:06 +0100 |
| commit | 840c08fb0747fcef6e1102bd2c7165bba89d0a44 (patch) | |
| tree | 46376597aa9591e8ed2dee88f0498a9162e955ef /vc | |
| parent | e7c7588f644dfabec67c0070dbf446d6fc0d4c01 (diff) | |
| download | inf110-lfi-840c08fb0747fcef6e1102bd2c7165bba89d0a44.tar.gz inf110-lfi-840c08fb0747fcef6e1102bd2c7165bba89d0a44.tar.bz2 inf110-lfi-840c08fb0747fcef6e1102bd2c7165bba89d0a44.zip | |
Many-to-one reduction, and a new proof of Rice's theorem.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions