 | 2009 |
|---|
| 15 |       | Oleg V. Kudinov,
Victor L. Selivanov:
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.
CiE 2009: 290-299 |
| 14 | | Oleg V. Kudinov,
Victor L. Selivanov:
Definability in the Infix Order on Words.
Developments in Language Theory 2009: 454-465 |
| 13 | | Oleg V. Kudinov,
Victor L. Selivanov,
Anton V. Zhukov:
Definability in the h-quasiorder of labeled forests.
Ann. Pure Appl. Logic 159(3): 318-332 (2009) |
| 12 | | Margarita V. Korovina,
Oleg V. Kudinov:
The Uniformity Principle for Sigma-definability.
J. Log. Comput. 19(1): 159-174 (2009) |
| 2008 |
|---|
| 11 | | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability over Effectively Enumerable Topological Spaces.
Electr. Notes Theor. Comput. Sci. 221: 115-125 (2008) |
| 2007 |
|---|
| 10 | | Margarita V. Korovina,
Oleg V. Kudinov:
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis.
CiE 2007: 416-425 |
| 9 | | Oleg V. Kudinov,
Victor L. Selivanov:
Definability in the Homomorphic Quasiorder of Finite Labeled Forests.
CiE 2007: 436-445 |
| 8 | | Oleg V. Kudinov,
Victor L. Selivanov:
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests.
J. Log. Comput. 17(6): 1135-1151 (2007) |
| 2006 |
|---|
| 7 | | Oleg V. Kudinov,
Victor L. Selivanov:
Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.
CiE 2006: 289-296 |
| 2005 |
|---|
| 6 | | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability of Higher Type Continuous Data.
CiE 2005: 235-241 |
| 2001 |
|---|
| 5 | | Margarita V. Korovina,
Oleg V. Kudinov:
Semantic Characterisations of Second-Order Computability over the Real Numbers.
CSL 2001: 160-172 |
| 4 | | Margarita V. Korovina,
Oleg V. Kudinov:
Generalised Computability and Applications to Hybrid Systems.
Ershov Memorial Conference 2001: 494-499 |
| 2000 |
|---|
| 3 | | Margarita V. Korovina,
Oleg V. Kudinov:
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.
CCA 2000: 146-168 |
| 1999 |
|---|
| 2 | | Margarita V. Korovina,
Oleg V. Kudinov:
A Logical Approach to Specification of Hybrid Systems.
Ershov Memorial Conference 1999: 10-16 |
| 1998 |
|---|
| 1 | | Margarita V. Korovina,
Oleg V. Kudinov:
Characteristic Properties of Majorant-Computability over the Reals.
CSL 1998: 188-203 |
