Satoru Kuroda

From MaRDI portal
Person:884959

Available identifiers

zbMath Open kuroda.satoruMaRDI QIDQ884959

List of research outcomes





PublicationDate of PublicationType
On matrix rank function over bounded arithmetics2023-10-05Paper
Takeuti-Yasumoto Forcing Revisited2023-08-25Paper
Sprague-Grundy theory in bounded arithmetic2022-03-22Paper
Developing Takeuti-Yasumoto forcing2018-04-10Paper
Sprague-Grundy theory in bounded arithmetic2016-09-08Paper
Axiomatizing proof tree concepts in bounded arithmetic2012-11-22Paper
Recent topics on bounded arithmetic and complexity theory2011-08-16Paper
Generalized quantifier and a bounded arithmetic theory for LOGCFL2007-06-07Paper
Recursion schemata for slowly growing depth circuit classes2005-02-23Paper
https://portal.mardi4nfdi.de/entity/Q45485302002-08-26Paper
https://portal.mardi4nfdi.de/entity/Q45485312002-08-26Paper
An independence result on weak second order bounded arithmetic2002-05-13Paper
https://portal.mardi4nfdi.de/entity/Q45056332000-09-27Paper
https://portal.mardi4nfdi.de/entity/Q42526531999-11-08Paper
On a Theory for AC0 and the Strength of the Induction Scheme1999-01-11Paper
Formalizing Pfaffian in bounded arithmeticN/APaper

Research outcomes over time

This page was built for person: Satoru Kuroda

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:884959&oldid=7114571"
Powered by MediaWiki