×

Found 13 Documents (Results 1–13)

Phase transitions in proof theory. (English) Zbl 1355.03046

Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 343-358 (2010).
MSC:  03F20 03B30 05A99
PDFBibTeX XMLCite
Full Text: Link

The logic of large enough. (English) Zbl 1286.03118

Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 42-57 (2010).
MSC:  03B70 03C80
PDFBibTeX XMLCite
Full Text: DOI Link

On a certain approach to the problem of estimating the number of discrete functions. (Russian, English) Zbl 1086.03016

Vestn. Mosk. Univ., Ser. XV 2004, No. 1, 42-47 (2004); translation in Mosc. Univ. Comput. Math. Cybern. 2004, No. 1, 38-43 (2004).
MSC:  03B50 94C10
PDFBibTeX XMLCite

Complexity of implementing functions of \(k\)-valued logic by circuits and formulas in functionally complete bases. (English. Russian original) Zbl 0902.94033

Discrete Appl. Math. 135, No. 1-3, 223-233 (2004); translation from Diskretn. Anal. Issled. Oper., Ser. 1 5, No. 2, 78-89 (1998).
MSC:  94C10 68Q25 03B50 03D15
PDFBibTeX XMLCite
Full Text: DOI

Applications of NSA to mathematical physics. (English) Zbl 0906.03067

Arkeryd, Leif O. (ed.) et al., Nonstandard analysis: theory and applications. Proceedings of the NATO Advanced Study Institute on nonstandard analysis and its applications, Edinburgh, UK, June 30–July 13, 1996. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 493, 309-339 (1997).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Software