Satoru Kuroda

zbMath Openkuroda.satoruMaRDI QIDQ884959

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On matrix rank function over bounded arithmetics	2023-10-05	Paper
Takeuti-Yasumoto Forcing Revisited Computability Theory and Foundations of Mathematics	2023-08-25	Paper
Sprague-Grundy theory in bounded arithmetic Archive for Mathematical Logic	2022-03-22	Paper
Developing Takeuti-Yasumoto forcing	2018-04-10	Paper
Sprague-Grundy theory in bounded arithmetic	2016-09-08	Paper
Axiomatizing proof tree concepts in bounded arithmetic	2012-11-22	Paper
Recent topics on bounded arithmetic and complexity theory	2011-08-16	Paper
Generalized quantifier and a bounded arithmetic theory for LOGCFL Archive for Mathematical Logic	2007-06-07	Paper
Recursion schemata for slowly growing depth circuit classes Computational Complexity	2005-02-23	Paper
scientific article; zbMATH DE number 1788926 (Why is no real title available?)	2002-08-26	Paper
scientific article; zbMATH DE number 1788927 (Why is no real title available?)	2002-08-26	Paper
An independence result on weak second order bounded arithmetic Mathematical Logic Quarterly (MLQ)	2002-05-13	Paper
scientific article; zbMATH DE number 1511942 (Why is no real title available?)	2000-09-27	Paper
scientific article; zbMATH DE number 1305946 (Why is no real title available?)	1999-11-08	Paper
On a Theory for AC0 and the Strength of the Induction Scheme Mathematical Logic Quarterly	1999-01-11	Paper
Formalizing Pfaffian in bounded arithmetic	N/A	Paper

Research outcomes over time

This page was built for person: Satoru Kuroda