Logical view for construction-synthesis model of data structures
Developed generalized constructive-synthesizing structures that accumulate scope of various grammars and grammar-like systems intended to produce constructions consist of different elements. Distinctive feature of produced constructions is attribute applying framework for elements, their connections...
Saved in:
| Published in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Date: | 2025 |
| Issue: | 2-3 |
| Pages: | 10-16 |
| ISSN: | 1727-4907 |
| Author Affiliations: |
|
| Main Authors: | Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2025
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/688 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |
|
Institution
Problems in programmingSimilar Items
Sequent calculi of composition nominative modal logics of functional-equational level
by: Shkilnyak, O.S.
Published: (2025)
by: Shkilnyak, O.S.
Published: (2025)
Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
Constructive-synthesizing model of text graph representation
by: Shynkarenko, V.I., et al.
Published: (2018)
by: Shynkarenko, V.I., et al.
Published: (2018)
Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)
by: Shkilnyak, S.S.
Published: (2025)
Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)
by: Terletskyi, D.O.
Published: (2025)
Mathematical foundations for designing and development of intelligent systems of information analysis
by: Terletskyi, D.O., et al.
Published: (2025)
by: Terletskyi, D.O., et al.
Published: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
by: Shkilniak, О.S., et al.
Published: (2024)
by: Shkilniak, О.S., et al.
Published: (2024)
The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)
by: Shynkarenko, V.I., et al.
Published: (2024)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
by: Литвин, О. М., et al.
Published: (2016)
by: Литвин, О. М., et al.
Published: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
by: Литвин, О. М., et al.
Published: (2016)
by: Литвин, О. М., et al.
Published: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
by: Литвин, О. М., et al.
Published: (2016)
by: Литвин, О. М., et al.
Published: (2016)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
by: Литвин, О. М., et al.
Published: (2016)
by: Литвин, О. М., et al.
Published: (2016)
First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)
by: Shkilniak, O.S.
Published: (2019)
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)
by: Shkilniak, S.S.
Published: (2019)
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)
by: Nikitchenko, M.S., et al.
Published: (2019)
Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
Published: (2018)
by: Shkilniak, S.S., et al.
Published: (2018)
Algebras of quasiary and of bi-quasiary relations
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Neural networks synthesis management
by: Katerynych, L.A.
Published: (2026)
by: Katerynych, L.A.
Published: (2026)
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)
by: Shkilniak, O.S.
Published: (2019)
On representations of permutations groups as isometry groups of \(n\)-semimetric spaces
by: Gerdiy, Oleg, et al.
Published: (2018)
by: Gerdiy, Oleg, et al.
Published: (2018)
Комбінаторні властивості p-частково впорядкованих множин ширини 2
by: Bondarenko, V. M.; Інститут математики НАН України, Київ, et al.
Published: (2018)
by: Bondarenko, V. M.; Інститут математики НАН України, Київ, et al.
Published: (2018)
On Hasse diagrams connected with the 1-oversupercritical poset (1, 3, 5)
by: Bondarenko, V. M.; Бондаренко В. М.; Інститут математики НАН України, Київ, et al.
Published: (2018)
by: Bondarenko, V. M.; Бондаренко В. М.; Інститут математики НАН України, Київ, et al.
Published: (2018)
The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
by: Morentsov, Y.I.
Published: (2018)
by: Morentsov, Y.I.
Published: (2018)
On time irreversibility of generalized Hassani kinematics
by: Grushka, Ya. I.; Інститут математики НАН України, Київ
Published: (2022)
by: Grushka, Ya. I.; Інститут математики НАН України, Київ
Published: (2022)
СONDITIONS INVESTIGATIONS OF INDUCTION OF THE "STEADY" PLASMA RING IN THE ELECTRODYNAMIC ACCELERATOR
by: Sakun, O. V., et al.
Published: (2015)
by: Sakun, O. V., et al.
Published: (2015)
Про деякі інваріанти поліноміальних матриць щодо напівскалярної еквівалентності
by: Shavarovskii, B. Z.; Шаваровський Б. З.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2018)
by: Shavarovskii, B. Z.; Шаваровський Б. З.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2018)
Про число нерозкладних модулярних зображень циклічної $p$-групи над скінченним локальним кільцем
by: Tylyshchak, O. A.; Тилищак О. А.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2018)
by: Tylyshchak, O. A.; Тилищак О. А.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2018)
Найменше спільне кратне матриць одного класу матриць над комутативною областю головних ідеалів
by: Романів, А. М.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2018)
by: Романів, А. М.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Published: (2018)
Об одном свойстве модулярных представлений диэдральных 2-групп
by: Литвинчук, И. В.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2018)
by: Литвинчук, И. В.; Київський національний університет ім. Тараса Шевченка, Київ
Published: (2018)
On direct products of metacyclic Miller–Moreno p-groups and cyclic p-groups as additive groups of local nearrings
by: Raievska, I. Yu.; Інститут математики НАН України, Київ
Published: (2024)
by: Raievska, I. Yu.; Інститут математики НАН України, Київ
Published: (2024)
Security basic model for applied tasks of the distributed information system
by: Rodin, Y.S., et al.
Published: (2021)
by: Rodin, Y.S., et al.
Published: (2021)
Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015)
by: Shinkarenko, V.I., et al.
Published: (2015)
Коли R(X) і R⟨X⟩ є ω-евклідовими областями
by: Sagan, A. V.; Саган А. В.; Львівський національний університет ім. Івана Франка, Львів
Published: (2018)
by: Sagan, A. V.; Саган А. В.; Львівський національний університет ім. Івана Франка, Львів
Published: (2018)
Topological semigroups of matrix units
by: Gutik, Oleg V., et al.
Published: (2018)
by: Gutik, Oleg V., et al.
Published: (2018)
Similar Items
-
Sequent calculi of composition nominative modal logics of functional-equational level
by: Shkilnyak, O.S.
Published: (2025) -
Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025) -
Constructive-synthesizing model of text graph representation
by: Shynkarenko, V.I., et al.
Published: (2018) -
Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025) -
Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)