-
Kleene algebra,
using equational and Horn
clause axioms.
Already in 1964,
Redko had
proved that no
finite set of
purely equational axioms can characterize...
-
Serhiy Redko or
Serhii Redko (Ukrainian: Сергій Редько; born 24
January 1973) is a
Ukrainian middle-distance runner. He
competed in the men's 3000 metres...
-
languages introduced by
Kleene in 1951 and
studied by
others including V.N.
Redko and John
Horton Conway. The term was
introduced by
Dexter Kozen in the 1980s...
- "Inorganic Chemistry"
Academic Press: San Diego, 2001. ISBN 0-12-352651-5. M. Y.
Redko; R. H. Huang; J. E. Jackson; J. F. Harrison; J. L. Dye (2003). "Barium azacryptand...
- Wells, A.F. (1984).
Structural Inorganic Chemistry, Oxford:
Clarendon Press Redko, M. Y.; Vl****a, M.; Jackson, J. E.; Misiolek, A. W.; Huang, R. H.; Dye,...
-
Nikolaevich Red'ko or
Redko (Russian: Климент Николаевич Редько, Ukrainian: Климент Миколайович Редько,
Klyment Mykolayovych Redko), 15 (27)
October 1897...
- CO;2-G. PMID 25138490. 23978-09-8 Kim, J.; Ichimura, A. S.; Huang, R. H.;
Redko, M.; Phillips, R. C.; Jackson, J. E.; Dye, J. L. (1999). "Crystalline Salts...
-
Archived from the
original on 9
February 2013.
Retrieved 5
April 2011. "
Redko viden spektakel" (in Slovenian). NK Maribor.
Archived from the original...
-
Peter (2
February 2015). "Najmlajši od
bratov Prevc: O
skokih se doma
redko pogovarjamo" (in Slovenian). Siol.
Retrieved 12
February 2022. Lopatič,...
- PMID 16833400.
Archived from the
original (PDF) on 2012-01-03.
Mikhail Y.
Redko; et al. (2002). ""Inverse
Sodium Hydride": A
Crystalline Salt that Contains...
