Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Toshiyasu Arai" ( http://dblp.L3S.de/Authors/Toshiyasu_Arai )

  Author page on DBLP  Author page in RDF  Community of Toshiyasu Arai in ASPL-2

Publication years (Num. hits)
1990-2004 (15) 2005-2011 (10)
Publication types (Num. hits)
article(24) inproceedings(1)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(9) Arch. Math. Log.(5) J. Symb. Log.(4) Math. Log. Q.(2) ACM Trans. Comput. Log.(1) CoRR(1) FSTTCS(1) Notre Dame Journal of Formal L...(1) Theor. Comput. Sci.(1)
Authors
Toshiyasu Arai(25) Naohi Eguchi(2) Georg Moser(1) Grigori Mints(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Toshiyasu Arai Quick cut-elimination for strictly positive cuts. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Nested PLS. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Exact bounds on epsilon processes. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai, Naohi Eguchi A new function algebra of EXPTIME functions by safe nested recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EXPTIME, Implicit computational complexity
1Toshiyasu Arai Non-elementary speed-ups in logic calculi. Search on Bibsonomy Math. Log. Q. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Epsilon substitution method for Pi02-FIX. Search on Bibsonomy J. Symb. Log. The full citation details ... 2006 DBLP  BibTeX  RDF
1Toshiyasu Arai, Naohi Eguchi A new function algebra of EXPTIME functions by safe nested recursion Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Toshiyasu Arai Ideas in the epsilon substitution method for II 1 0-FIX. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai, Georg Moser Proofs of Termination of Rewrite Systems for Polytime Functions. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 02-operators. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  BibTeX  RDF
1Toshiyasu Arai Proof theory for theories of ordinals II: Pi3-reflection. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Proof theory for theories of ordinals - I: recursively Mahlo ordinals. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Epsilon substitution method for ID1(Pi10 or Sigma10). Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai On the Slowly Well Orderedness of epsilon0. Search on Bibsonomy Math. Log. Q. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Epsilon substitution method for theories of jump hierarchies. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai, Grigori Mints Extended normal form theorems for logical proofs from axioms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Ordinal Diagrams for PI3-Reflection. Search on Bibsonomy J. Symb. Log. The full citation details ... 2000 DBLP  BibTeX  RDF
1Toshiyasu Arai A Bounded Arithmetic AID for Frege Systems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Ordinal diagrams for recursively Mahlo universes. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03F15
1Toshiyasu Arai Variations on a Theme by Weiermann. Search on Bibsonomy J. Symb. Log. The full citation details ... 1998 DBLP  BibTeX  RDF
1Toshiyasu Arai Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Consistency proof via pointwise induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03F15, 03F30, 03F35
1Toshiyasu Arai A Slow Growing Analogue to Buchholz' Proof. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Toshiyasu Arai Derivability Conditions on Rosser's Provability Predicates. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.