-
Kleene algebra,
using equational and Horn
clause axioms.
Already in 1964,
Redko had
proved that no
finite set of
purely equational axioms can characterize...
-
Peter (2
February 2015). "Najmlajši od
bratov Prevc: O
skokih se doma
redko pogovarjamo" (in Slovenian). Siol.
Retrieved 12
February 2022. "Nika Prevc...
- 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,...
-
Serhiy Redko or
Serhii Redko (Ukrainian: Сергій Редько; born 24
January 1973) is a
Ukrainian middle-distance runner. He
competed in the men's 3000 metres...
- "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...
-
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...
- 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...
- Angew. Chem. Int. Ed. Engl. 18 (8): 587–598. doi:10.1002/anie.197905871.
Redko, M. Y.; Huang, R. H.; Jackson, J. E.; Harrison, J. F.; Dye, J. L. (2003)...
- heat,
while the
bottom six were eliminated. On 2
February 2020,
Evgenya Redko withdrew her song "Far",
which placed fourth in the
third heat, from the...
