BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × France
1 × Germany
Collaborated with:
M.V.Korovina V.L.Selivanov
Talks about:
comput (2) order (2) real (2) characterist (1) characteris (1) properti (1) semant (1) second (1) number (1) major (1)

Person: Oleg V. Kudinov

DBLP DBLP: Kudinov:Oleg_V=

Contributed to:

DLT 20092009
CSL 20012001
CSL 19981998

Wrote 3 papers:

DLT-2009-KudinovS #order #word
Definability in the Infix Order on Words (OVK, VLS), pp. 454–465.
CSL-2001-KorovinaK #higher-order #semantics
Semantic Characterisations of Second-Order Computability over the Real Numbers (MVK, OVK), pp. 160–172.
Characteristic Properties of Majorant-Computability over the Reals (MVK, OVK), pp. 188–203.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.