×

Found 72 Documents (Results 1–72)

100
MathJax

When reachability meets Grzegorczyk. (English) Zbl 07299453

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

A hierarchy of ramified theories below PRA. (English) Zbl 1303.03091

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 475-499 (2012).
MSC:  03F30 03D20
PDF BibTeX XML Cite

An analog characterization of elementarily computable functions over the real numbers. (English) Zbl 1098.03047

Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 269-280 (2004).
MSC:  03D20 03F60
PDF BibTeX XML Cite
Full Text: DOI

Proof theoretic complexity of low subrecursive classes. (English) Zbl 0985.03050

Bauer, Friedrich L. (ed.) et al., Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 - August 8, 1999. Amsterdam: IOS Press. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 175, 249-285 (2000).
PDF BibTeX XML Cite

The contribution of Polish logicians to recursion theory. (English) Zbl 1018.03005

Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 265-282 (1998).
MSC:  03-03 03Dxx 01A60
PDF BibTeX XML Cite

A combinatorial approach to complexity theory via ordinal hierarchies. (English) Zbl 0949.03523

Bollobás, Béla (ed.) et al., Combinatorics, geometry and probability. A tribute to Paul Erdős. Proceedings of the conference dedicated to Paul Erdős on the occasion of his 80th birthday, Cambridge, UK, 26 March 1993. Cambridge: Cambridge University Press. 179-192 (1997).
MSC:  03D20 03D15
PDF BibTeX XML Cite

Extended Grzegorczyk hierarchy in the BSS model of computability. (English) Zbl 0867.68055

Cucker, Felipe (ed.) et al., Foundations of computational mathematics. Selected papers of a conference, held at IMPA in Rio de Janeiro, Brazil, January 1997. Berlin: Springer. 127-151 (1997).
MSC:  68Q15
PDF BibTeX XML Cite
Full Text: DOI

Representability of functions in finite models. Arithmetical theories. (English. Russian original) Zbl 0852.03017

J. Contemp. Math. Anal., Armen. Acad. Sci. 30, No. 1, 56-74 (1995); translation from Izv. Nats. Akad. Nauk Armen., Mat. 30, No. 1, 66-88 (1995).
MSC:  03D20 03C13
PDF BibTeX XML Cite

More on Burnside’s problem. (English) Zbl 0849.20031

Duncan, Andrew J. (ed.) et al., Combinatorial and geometric group theory. Proceedings of a workshop held at Heriot-Watt University, Edinburgh, GB, spring of 1993. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 204, 314-321 (1995).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

Software