rozhodnutelnost

Rozhodnutelnost je speciální případ vyčíslitelnosti.

Matěj Schrödl

Matěj Schrödl
matej.schrodl@gmail.com

schrodlm
schrodlmm

This is a place to share interesting knowledge from computer-science I managed to gather and also a place to log my thought processes from my past and ongoing projects.