×

On precomplete classes of algorithms preserving the belonging to a set. II. (Russian) Zbl 0496.68022


MSC:

68W99 Algorithms in computer science
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: EuDML