Zobrazeno 1 - 10 of 1 212 pro vyhledávání: '"arithmetics"'
1
Akademický článek
Uniform, Integral, and Feasible Proofs for the Determinant Identities.
Autor: TZAMERET, IDDO1 Iddo.Tzameret@gmail.com, COOK, STEPHEN A.2 sacook@cs.toronto.edu
Publikováno v: Journal of the ACM. Mar2021, Vol. 68 Issue 2, p1-80. 80p.
Zobrazit plný text záznamu
2
Akademický článek
Frege Systems for Quantified Boolean Logic.
Autor: BEYERSDORFF, OLAF1, BONACINA, ILARIO2, CHEW, LEROY1, PICH, JAN1
Publikováno v: Journal of the ACM. Mar2020, Vol. 67 Issue 2, p1-36. 36p.
Zobrazit plný text záznamu
3
Akademický článek
On the existence of free sublattices of bounded index and arithmetic applications.
Autor: Johnston, Henri1 (AUTHOR) H.Johnston@exeter.ac.uk, Torzewski, Alex2,3 (AUTHOR) alex.torzewski@gmail.com
Publikováno v: Journal of Algebra. Nov2024, Vol. 657, p81-108. 28p.
Zobrazit plný text záznamu
4
Akademický článek
On the consistency of circuit lower bounds for non-deterministic time.
Autor: Atserias, Albert1 (AUTHOR) atserias@cs.upc.edu, Buss, Sam2 (AUTHOR) sbuss@ucsd.edu, Müller, Moritz3 (AUTHOR) moritz.mueller@uni-passau.de
Publikováno v: Journal of Mathematical Logic. Sep2024, p1. 41p.
Zobrazit plný text záznamu
5
Akademický článek
Ramsey's theorem for pairs, collection, and proof size.
Autor: Kołodziejczyk, Leszek Aleksander1 lak@mimuw.edu.pl, Wong, Tin Lok2 matwong@nus.edu.sg, Yokoyama, Keita3 keita.yokoyama.c2@tohoku.ac.jp
Publikováno v: Journal of Mathematical Logic. Aug2024, Vol. 24 Issue 2, p1-40. 40p.
Zobrazit plný text záznamu
6
Akademický článek
Iterated multiplication in VTC0.
Autor: Jeřábek, Emil1 (AUTHOR) jerabek@math.cas.cz
Publikováno v: Archive for Mathematical Logic. Jul2022, Vol. 61 Issue 5/6, p705-767. 63p.
Zobrazit plný text záznamu
7
Akademický článek
MODELS OF BOUNDED ARITHMETIC THEORIES AND SOME RELATED COMPLEXITY QUESTIONS.
Autor: Alam, Abolfazl1 Abolfazlalam1989@gmail.com, Moniri, Morteza1 m-moniri@sbu.ac.ir
Publikováno v: Bulletin of the Section of Logic. Jun2022, Vol. 51 Issue 2, p163-176. 14p.
Zobrazit plný text záznamu
8
Akademický článek
Sprague–Grundy theory in bounded arithmetic.
Autor: Kuroda, Satoru1 (AUTHOR) satoru@mail.gpwu.ac.jp
Publikováno v: Archive for Mathematical Logic. Feb2022, Vol. 61 Issue 1/2, p233-262. 30p.
Zobrazit plný text záznamu
9
Akademický článek
Bounded finite set theory.
Publikováno v: Mathematical Logic Quarterly. May2021, Vol. 67 Issue 2, p149-163. 15p.
Zobrazit plný text záznamu
10
Akademický článek
Induction rules in bounded arithmetic.
Autor: Jeřábek, Emil1 (AUTHOR) jerabek@math.cas.cz
Publikováno v: Archive for Mathematical Logic. May2020, Vol. 59 Issue 3/4, p461-501. 41p.
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje