×

Found 22 Documents (Results 1–22)

Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43-67 (2013); translation in J. Math. Sci., New York 205, No. 3, 368-388 (2015).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Unpredictability and computational irreducibility. (English) Zbl 1298.68188

Zenil, Hector (ed.), Irreducibility and computational equivalence. 10 years after Wolfram’s a new kind of science. Berlin: Springer (ISBN 978-3-642-35481-6/hbk; 978-3-642-35482-3/ebook). Emergence, Complexity and Computation 2, 273-295 (2013).
MSC:  68Q80 68Q05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The FE-closure operator in countable-valued logic. (English. Russian original) Zbl 1323.03024

Mosc. Univ. Comput. Math. Cybern. 37, No. 3, 131-136 (2013); translation from Vestn. Mosk. Univ., Ser. XV 2013, No. 3, 61-68 (2013).
MSC:  03B50
PDFBibTeX XMLCite
Full Text: DOI

The value-passing calculus. (English) Zbl 1390.68469

Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 166-195 (2013).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Biographic Reference