Další formáty:
BibTeX
LaTeX
RIS
@article{556939, author = {Zlatuška, Jiří}, article_location = {Bratislava}, article_number = {3}, issn = {0232-0274}, journal = {Computers and Artificial Intelligence}, title = {Extending Some Classes of Program Schemata with Decidable Equivalence Problem}, year = {1983} }
TY - JOUR ID - 556939 AU - Zlatuška, Jiří PY - 1983 TI - Extending Some Classes of Program Schemata with Decidable Equivalence Problem JF - Computers and Artificial Intelligence IS - 3 SP - 259-268 EP - 259-268 PB - Slovac Academy of Science, Veda SN - 02320274 ER -
ZLATUŠKA, Jiří. Extending Some Classes of Program Schemata with Decidable Equivalence Problem. \textit{Computers and Artificial Intelligence}. Bratislava: Slovac Academy of Science, Veda, 1983, č.~3, s.~259-268. ISSN~0232-0274.
|