Publication:3197306

zbMath0712.68026MaRDI QIDQ3197306

N. Kh. Kasymov

Publication date: 1989

zbMATH Keywords

effectively representable data; nonspecificability; positive formulae

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68P05: Data structures

03D80: Applications of computability and recursion theory