The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kazushige Terui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincent Atassi, Patrick Baillot, Kazushige Terui
    Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:150-166 [Conf]
  2. Harry G. Mairson, Kazushige Terui
    On the Computational Complexity of Cut-Elimination in Linear Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:23-36 [Conf]
  3. Patrick Baillot, Kazushige Terui
    Light Types for Polynomial Time Computation in Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:266-275 [Conf]
  4. Kazushige Terui
    Light Affine Calculus and Polytime Strong Normalization. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:- [Conf]
  5. Kazushige Terui
    Proof Nets and Boolean Circuits. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:182-191 [Conf]
  6. Agata Ciabattoni, Kazushige Terui
    Modular Cut-Elimination: Finding Proofs or Counterexamples. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:135-149 [Conf]
  7. Patrick Baillot, Kazushige Terui
    A Feasible Algorithm for Typing in Elementary Affine Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:55-70 [Conf]
  8. Patrick Baillot, Kazushige Terui
    Light types for polynomial time computation in lambda-calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  9. Mitsuhiro Okada, Kazushige Terui
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:790-802 [Journal]
  10. Agata Ciabattoni, Kazushige Terui
    Towards a Semantic Characterization of Cut-Elimination. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:95-119 [Journal]
  11. Kazushige Terui
    Light Affine Set Theory: A Naive Set Theory of Polynomial Time. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:77, n:1, pp:9-40 [Journal]
  12. Kazushige Terui
    Light affine lambda calculus and polynomial time strong normalization. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:3-4, pp:253-280 [Journal]
  13. Vincent Atassi, Patrick Baillot, Kazushige Terui
    Verification of Ptime reducibility for system F terms via Dual Light Affine Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  14. Vincent Atassi, Patrick Baillot, Kazushige Terui
    Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  15. Patrick Baillot, Kazushige Terui
    A feasible algorithm for typing in Elementary Affine Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]

  16. Expanding the Realm of Systematic Proof Theory. [Citation Graph (, )][DBLP]


  17. From Axioms to Analytic Rules in Nonclassical Logics. [Citation Graph (, )][DBLP]


  18. Infinitary Completeness in Ludics. [Citation Graph (, )][DBLP]


  19. On the Meaning of Logical Completeness. [Citation Graph (, )][DBLP]


  20. Church => Scott = Ptime: an application of resource sensitive realizability [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002