J
Jerzy Tiuryn
4 works on record
Works

Foundation of Software Science and Computation Structures
Dynamic Logic
Dynamic Logic
Algebraiczne podstawy teorii maszyn
Algebraiczne podstawy teorii maszyn
M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów
M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów