Yu. P. Krivenkov, “The regular formalization of the basic concepts of the quasidifferential calculus”, Uspekhi Mat. Nauk, 1985, Volume 40, Issue 4(244),Pages <nobr>179

JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 1985 Volume 40, Issue 4(244), Pages 179–180 (Mi rm2737)

International conference "Modern Problems of Algebra and Analysis"
Brief communications

The regular formalization of the basic concepts of the quasidifferential calculus

Yu. P. Krivenkov

MSC: 47F05, 41A65, 46Bxx

Fulltext: PDF file (258 kB)
References

English version: Russian Mathematical Surveys, 1985, 40:4, 199–200

Bibliographic databases: