×

Found 8,690 Documents (Results 1–100)

Study group on ultrametric analysis. 5th year: 1977/78. (Groupe d’étude d’analyse ultramétrique. 5ème année: 1977/78.) (French, English) Zbl 1489.12002

Paris: Secrétariat Mathématique (ISBN 2-85926-266-0). 100 p., not consecutively paged, open access (1978).
MSC:  12-06 11-06 00B25
PDFBibTeX XMLCite

Open problems in geometric function theory. Proceedings of the 5th international symposium of the Division of Mathematics of the Taniguchi Foundation, Katata, Japan, September 1–6, 1978. (English) Zbl 1497.32001

Osaka: Osaka University, Department of Mathematics. v, 22 p. (1978).
MSC:  32-06 00A27 00B25
PDFBibTeX XMLCite

Abstracta. 6th winter school on abstract analysis. Abstracts of papers presented at the winter school, WSAA 6, Michlův Mlýn, Czech Republic, 1978. (English) Zbl 1416.46003

Prague: Czechoslovak Academy of Sciences. 103 p. (1978).
MSC:  46-06 54-06 00B25
PDFBibTeX XMLCite
Full Text: Link

Indexing of subrecursive classes. (English) Zbl 1283.03072

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 287-295 (1978).
MSC:  03D15 03D20
PDFBibTeX XMLCite
Full Text: DOI

Propositional representation of arithmetic proofs (preliminary version). (English) Zbl 1282.68112

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 246-252 (1978).
MSC:  68Q15 03F30 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Coping with errors in binary search procedures (preliminary report). (English) Zbl 1282.68095

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 227-232 (1978).
MSC:  68P10 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Time-space tradeoffs for computing functions, using connectivity properties of their circuits. (English) Zbl 1282.68145

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 196-204 (1978).
PDFBibTeX XMLCite
Full Text: DOI

Switching functions whose monotone complexity. (English) Zbl 1282.94110

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 143-149 (1978).
MSC:  94C10 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Data type specification, parameterization and the power of specification techniques. (English) Zbl 1282.68170

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 119-132 (1978).
MSC:  68Q65 68P05 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial optimization with rational objective functions. (English) Zbl 1282.68141

Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 1-12 (1978).
MSC:  68Q25 90C27 90C35
PDFBibTeX XMLCite
Full Text: DOI

Error term estimate of order \(n^{-2}\) for the distribution function of Smirnov’s two-sample statistic. (English. Russian original) Zbl 0644.62017

J. Sov. Math. 40, No. 1, 214-220 (1988); translation from Statistical methods, Coll. Sci. Works, Perm’ 1978, 100-109 (1978).
MSC:  62E20 62G10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field