68 Computer science
68Qxx Theory of computing (1 articles)
68Q65 Abstract data types; algebraic specification (4 articles)
- : The calculus of an unnormalized relational model of data. (English). Kybernetika, vol. 20 (1984), issue 3, pp. 231-239
- : Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120
- : O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
- : Statistical theory of logical derivability. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (225)-239
Search
Partner of
