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: Kudinov:Oleg_V=
Contributed to:
2009
20011998Wrote 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.
- CSL-1998-KorovinaK
- Characteristic Properties of Majorant-Computability over the Reals (MVK, OVK), pp. 188–203.