×

zbMATH — the first resource for mathematics

Sviridenko, D. I.

Compute Distance To:
Author ID: sviridenko.d-i Recent zbMATH articles by "Sviridenko, D. I."
Published as: Sviridenko, D. I.
Documents Indexed: 18 Publications since 1976

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 44 times in 22 Documents Cited by Year
Semantic programming. Zbl 0606.68011
Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I.
9
1986
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
7
1987
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
6
1989
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
Recursive terms in semantic programming. Zbl 07035746
Goncharov, S. S.; Sviridenko, D. I.
3
2018
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
1986
Denotational semantics of the language of \(\Sigma\)-expressions. Zbl 0642.03028
Sazonov, V. Yu.; Sviridenko, D. I.
2
1986
Mathematical bases of semantic programming. Zbl 0643.68015
Goncharov, S. S.; Sviridenko, D. I.
2
1986
On a variant of the theory of list superstructures. Zbl 0648.03019
Sviridenko, D. I.
1
1986
Recursive terms in semantic programming. Zbl 07035746
Goncharov, S. S.; Sviridenko, D. I.
3
2018
\(\Sigma\)-programming. Zbl 0671.03021
Goncharov, S. S.; Sviridenko, D. I.
6
1989
Semantic foundations of programming. Zbl 0642.68029
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
7
1987
\(\Sigma^+\)-programs and their semantics. Zbl 0696.03014
Goncharov, S. S.; Sviridenko, D. I.
3
1987
Semantic programming. Zbl 0606.68011
Goncharov, S. S.; Ershov, Yu. L.; Sviridenko, D. I.
9
1986
Theoretical aspects of \(\Sigma\)-programming. Zbl 0621.68021
Goncharov, S. S.; Sviridenko, D. I.
5
1986
Semantic programming. Zbl 0636.68013
Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I.
2
1986
Denotational semantics of the language of \(\Sigma\)-expressions. Zbl 0642.03028
Sazonov, V. Yu.; Sviridenko, D. I.
2
1986
Mathematical bases of semantic programming. Zbl 0643.68015
Goncharov, S. S.; Sviridenko, D. I.
2
1986
On a variant of the theory of list superstructures. Zbl 0648.03019
Sviridenko, D. I.
1
1986
\(\Sigma\)-programming. Zbl 0628.03015
Goncharov, S. S.; Sviridenko, D. I.
4
1985

Citations by Year