summaryrefslogtreecommitdiffstats
path: root/tp1-files/liste1
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-16 16:53:44 +0100
committerDavid A. Madore <david+git@madore.org>2017-01-16 16:53:44 +0100
commitd3e561fe3210830f1bb640dede4fc3868b7d29dc (patch)
tree67d1af5caaf4cf4612c298203d62ed878e43e205 /tp1-files/liste1
parentb58c7150c57b62c3fed7b705ff38b26487a5b3c1 (diff)
downloadinf105-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 'tp1-files/liste1')
0 files changed, 0 insertions, 0 deletions