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 × Austria
1 × Czech Republic
1 × France
1 × Poland
Collaborated with:
O.V.Kudinov N.Vorobjov
Talks about:
comput (3) real (3) number (2) characterist (1) characteris (1) properti (1) pfaffian (1) without (1) system (1) semant (1)

Person: Margarita V. Korovina

DBLP DBLP: Korovina:Margarita_V=

Contributed to:

CSL 20042004
CSL 20032003
CSL 20012001
CSL 19981998

Wrote 4 papers:

CSL-2004-KorovinaV #hybrid
Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
CSL-2003-Korovina #aspect-oriented #similarity
Computational Aspects of σ-Definability over the Real Numbers without the Equality Test (MVK), pp. 330–344.
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.