V. N. Red'ko

From MaRDI portal
Person:557407

Available identifiers

zbMath Open redko.v-nMaRDI QIDQ557407

List of research outcomes





PublicationDate of PublicationType
Precise estimates for the time complexity of implementing algorithms of set-theoretic operations in table algebras2017-07-14Paper
An axiomatics for multivalued dependences in tabular databases2016-01-20Paper
Invariance of keys with respect to operations of table algebras2016-01-13Paper
Some equalities in table algebras2014-08-21Paper
Primitive program algebras of functions of set (multiset) arguments and values2012-07-16Paper
Existential foundations of the composition paradigm2008-09-24Paper
Descriptological foundations of information technologies2008-03-31Paper
Foundations of descriptology2005-06-30Paper
Descriptological foundations of programming2003-09-16Paper
Foundations of programmology2001-01-15Paper
Composition structure of programmology2000-06-13Paper
https://portal.mardi4nfdi.de/entity/Q42614151999-09-02Paper
https://portal.mardi4nfdi.de/entity/Q38422051998-08-24Paper
Foundations of the theory of relational database models1997-11-02Paper
Programmological aspects of the fixed point method1996-04-16Paper
Fixed points and closure operators: Programmological aspects1996-03-27Paper
Manipulation aspect of databases: The composition approach1992-09-27Paper
Completeness problems in classes of computable named functions1988-01-01Paper
Composition aspects of programmology. II1988-01-01Paper
Composition aspects of programmology. I1987-01-01Paper
Composition programming and functional programming: A comparative analysis1985-01-01Paper
Primitive program algebras. II1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36916491985-01-01Paper
A logical-functional approach to data bases1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32205741984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36908061984-01-01Paper
Semantic program structures1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39306501980-01-01Paper
Equivalence problem for finitely iterated counter machines1980-01-01Paper
Foundations of composition programming1979-01-01Paper
Syntactic structure of programming languages1979-01-01Paper
Generators of regular languages1979-01-01Paper
Program composition and composition programming1978-01-01Paper
A structural approach to syntax definitions1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30498341976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40823161975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40501741974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32126761973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56093881969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56093891969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55863391966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55991691965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56213331965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55968261964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55968271964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55475971963-01-01Paper

Research outcomes over time

This page was built for person: V. N. Red'ko