Search results
Title Postov korešpondenčný problém a jeho aplikácie v teórii formálnych jazykov Author info Bohuslav Sivák Author Sivák Bohuslav 1951- UMBFP05 - Katedra informatiky
Source document DIDINFO '99. Zborník z kolokvia o vyučovaní informatiky na základných a stredných školách 2. S. 145-150. - Banská Bystrica : Metodické centrum, 1999 Keywords Postov korešpondenčný problém algoritmická riešiteľnosť orientované grafy systematics 51 Public work category BEF Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ