diff options
| author | David A. Madore <david+git@madore.org> | 2017-01-16 16:53:44 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-01-16 16:53:44 +0100 |
| commit | d3e561fe3210830f1bb640dede4fc3868b7d29dc (patch) | |
| tree | 67d1af5caaf4cf4612c298203d62ed878e43e205 /figs | |
| parent | b58c7150c57b62c3fed7b705ff38b26487a5b3c1 (diff) | |
| download | inf105-d3e561fe3210830f1bb640dede4fc3868b7d29dc.tar.gz inf105-d3e561fe3210830f1bb640dede4fc3868b7d29dc.tar.bz2 inf105-d3e561fe3210830f1bb640dede4fc3868b7d29dc.zip | |
Provide a short (and very hastily written) argument for the decidability of algebraic languages.
Diffstat (limited to 'figs')
0 files changed, 0 insertions, 0 deletions