Search the dblp DataBase

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]