Dmitri Ivanovich Sviridenko (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Semantic Foundations of Programming. FCT 1987: 116-122

2 Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko: Semantic Programming. IFIP Congress 1986: 1113-1120

1 Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 169-179

Selection of 3 from 3 records - Dmitri Ivanovich Sviridenko has 2 coauthors

3		Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Semantic Foundations of Programming. FCT 1987: 116-122
2		Sergei S. Goncharov, Yuri Leonidovich Ershov, Dmitri Ivanovich Sviridenko: Semantic Programming. IFIP Congress 1986: 1113-1120
1		Sergei S. Goncharov, Dmitri Ivanovich Sviridenko: Theoretical aspects of Sigma-programming. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 169-179