×

Found 4,737 Documents (Results 1–100)

Differential and integral inequalities: Theory and applications. Vol. II: Functional, partial, abstract, and complex differential equations. (Russian) Zbl 1522.34002

Mathematics in Science and Engineering Vol. 55. New York-London: Academic Press. IX, 319 p. (1969).
PDFBibTeX XMLCite

Selected papers on calculus. Reprinted from the American Mathematical Monthly (Volumes 1–75) and from the Mathematics Magazine (Volumes 1–40). (English) Zbl 1339.00047

Buffalo, N.Y.: Mathematical Association of America. xv, 397 p. (1969).
MSC:  00B60 00A05 26-00
PDFBibTeX XMLCite

On the computation time of certain classes of Boolean functions. (English) Zbl 1282.68130

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 271-272 (1969).
MSC:  68Q17 94C10 06E30
PDFBibTeX XMLCite
Full Text: DOI

On the problem of computational time and complexity of arithmetic functions. (English) Zbl 1282.68133

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 255-258 (1969).
PDFBibTeX XMLCite
Full Text: DOI

The logical complexity of geometric properties in the plane. (English) Zbl 1282.68132

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 249-254 (1969).
MSC:  68Q19 14Q20
PDFBibTeX XMLCite
Full Text: DOI

Towards a theory of semantics and compilers for programming languages. (English) Zbl 1282.68164

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 217-227 (1969).
MSC:  68Q55 68N20 03D20 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Formal models for some features of programming languages. (English) Zbl 1282.68090

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 211-215 (1969).
MSC:  68N15 68N01 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Formalization of properties of recursively defined functions. (English) Zbl 1283.03073

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 201-210 (1969).
MSC:  03D20 03B10
PDFBibTeX XMLCite
Full Text: DOI

Efficient \(LR(1)\) processor construction. (English) Zbl 1282.68149

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 191-200 (1969).
MSC:  68Q42 68N20
PDFBibTeX XMLCite
Full Text: DOI

Computability over arbitrary fields. (English) Zbl 1282.68106

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 149-153 (1969).
MSC:  68Q05 03D75
PDFBibTeX XMLCite
Full Text: DOI

Translations on a context free grammar. (English) Zbl 1282.68147

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 93-112 (1969).
MSC:  68Q42 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Speed-ups by changing the order in which sets are enumerated (preliminary version). (English) Zbl 1283.03076

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 89-92 (1969).
MSC:  03D25 03D20 03D15
PDFBibTeX XMLCite
Full Text: DOI

Classes of computable functions defined by bounds on computation. Preliminary report. (English) Zbl 1283.03074

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 79-88 (1969).
MSC:  03D20 03D25
PDFBibTeX XMLCite
Full Text: DOI

On minimal-program complexity measures. (English) Zbl 1282.68146

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 61-78 (1969).
MSC:  68Q30 03D99
PDFBibTeX XMLCite
Full Text: DOI

On classes of computable functions. (English) Zbl 1282.68108

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 55-59 (1969).
MSC:  68Q15 03D15 03D20
PDFBibTeX XMLCite
Full Text: DOI

On effective procedures for speeding up algorithms. (English) Zbl 1282.68203

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 43-53 (1969).
MSC:  68W40 03D20 03D10 68Q05
PDFBibTeX XMLCite
Full Text: DOI

Abstract families of processors. (English) Zbl 1282.68159

Proceedings of the 1st annual ACM symposium on theory of computing, STOC’69, Marina del Rey, CA, USA, May 5–7, 1969. New York, NY: Association for Computing Machinery (ACM). 9-14 (1969).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

Software