Trnková, Věra; Reiterman, Jan Dynamic algebras with test. (English) Zbl 0632.03051 J. Comput. Syst. Sci. 35, 229-242 (1987). Reviewer: L.Brim MSC: 03G25 68Q60 03B70 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Reiterman, Jan; Trnková, Věra From dynamic algebras to test algebras. (English) Zbl 0551.68030 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 490-497 (1984). Reviewer: H.Nishimura MSC: 68Q65 03G25 03B45 03C05 × Cite Format Result Cite Review PDF