Extending Some Classes of Program Schemata with Decidable
Equivalence Problem

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

J 1983

Extending Some Classes of Program Schemata with Decidable Equivalence Problem

ZLATUŠKA, Jiří

Základní údaje

Originální název

Extending Some Classes of Program Schemata with Decidable Equivalence Problem

Název anglicky

Extending Some Classes of Program Schemata with Decidable Equivalence Problem

Autoři

ZLATUŠKA, Jiří

Vydání

Computers and Artificial Intelligence, Bratislava, Slovac Academy of Science, Veda, 1983, 0232-0274

Další údaje

Typ výsledku

Článek v odborném periodiku

Utajení

není předmětem státního či obchodního tajemství

Změněno: 16. 8. 2004 13:06, Irena Hudečková

ZLATUŠKA, Jiří. Extending Some Classes of Program Schemata with Decidable Equivalence Problem. Computers and Artificial Intelligence. Bratislava: Slovac Academy of Science, Veda, 1983, č. 3, s. 259-268. ISSN 0232-0274.

@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.