Výsledky vyhledávání - "logic of non-deterministic complex algorithms"
-
1
Autoři: Rasiowa, Helena
Témata: interacting stacks, logic of non-deterministic complex algorithms, non-deterministic regular programs, algorithmic logic with non-deterministic programs, Abstract data types, algebraic specification
Popis souboru: application/xml
Přístupová URL adresa: https://zbmath.org/3903964
Nájsť tento článok vo Web of Science