Skip to content
cs-conference-ranking.org

Kazushige Terui

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

2001–2026

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026FSCDOn the Consistency of Naive Set Theories over Substructural and Fuzzy Logics.Kazushige Terui
2018CSLMacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics.Kazushige Terui
2015ICALPParsimonious Types and Non-uniform Computation.Damiano Mazza, Kazushige Terui
2011TABLEAUXProof Theory and Algebra in Substructural Logics.Kazushige Terui
2010LICSInfinitary Completeness in Ludics.Michele Basaldella, Kazushige Terui
2009CSLExpanding the Realm of Systematic Proof Theory.Agata Ciabattoni, Lutz Straburger, Kazushige Terui
2008LICSFrom Axioms to Analytic Rules in Nonclassical Logics.Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2006CSLVerification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.Vincent Atassi, Patrick Baillot, Kazushige Terui
2006LPARModular Cut-Elimination: Finding Proofs or Counterexamples.Agata Ciabattoni, Kazushige Terui
2004LICSLight Types for Polynomial Time Computation in Lambda-Calculus.Patrick Baillot, Kazushige Terui
2004LICSProof Nets and Boolean Circuits.Kazushige Terui
2001LICSLight Affine Calculus and Polytime Strong Normalization.Kazushige Terui