The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...

Calix[8]arenes of conformational rigid were isolated. The NMR parameters of the structure of calix[8]arenes have been compared. The study of organic structures to form nanoporous materials is well-known in chemistry phenomena to find the crystal form of calix[8]arene as supramolecule. Investigated and compared hydrogen bonding, oxygen and nitrogen atoms effect on calix[8]arene and its complexes...

Calix[8]arenes of conformational rigid were isolated. The NMR parameters of the structure of calix[8]arenes have been compared. The study of organic structures to form nanoporous materials is well-known in chemistry phenomena to find the crystal form of calix[8]arene as supramolecule. Investigated and compared hydrogen bonding, oxygen and nitrogen atoms effect on calix[8]arene and its complexes...