Design of $Σ$-programs. $Σ$-estimability. (Russian)
Vychisl. Sist. 114, 59-83 (1986).
1
A remark on axioms of the GES. (Russian)
Vychisl. Sist. 114, 11-15 (1986).
2
Denotational semantics of the language of $Σ$-expressions. (Russian)
Vychisl. Sist. 114, 16-34 (1986).
3
The language of $Σ$-expressions. (Russian)
Vychisl. Sist. 114, 3-10 (1986).
4
Start
Contact
Print
General Help
