Conferences in DBLP

Birthday ... (birthday)
1994 (conf/birthday/1994takasu)

1. Susumu Hayashi, Yukihide Takayama
   Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:1-9 [Conf]
   
2. Masami Hagiya, Yozo Toda
   On Implicit Arguments. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:10-30 [Conf]
   
3. Mariko Yasugi, Susumu Hayashi
   A Functional System with Transfinitely Defined Types. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:31-60 [Conf]
   
4. Hiroshi Nakano
   The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:61-72 [Conf]
   
5. Masahiko Sato, Yukiyoshi Kameyama
   Conservativeness of Lambda over lambda-sigma-Calculus. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:73-94 [Conf]
   
6. Shin-ya Nishizaki
   ML with First-Class Environments and its Type Inference Algorithm. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:95-116 [Conf]
   
7. Masako Takahashi
   A Simple Proof of the Genericity Lemma. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:117-118 [Conf]
   
8. Richard W. Weyhrauch, Carolyn L. Talcott
   The Logic of FOL Systems: Formulated in Set Theory. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:119-132 [Conf]
   
9. Ryu Hasegawa
   Well-Ordering of Algebras and Kruskal`s Theorem. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:133-172 [Conf]
   
10. Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
    On Locomorphism in Analytical Equivalence Theory. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:173-187 [Conf]
    
11. Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
    Analysis of a Software/Hardware System by Tense Arithmetic. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:188-205 [Conf]
    
12. Neil D. Jones
    The Essence of Program Transformation by Partial Evaluation and Driving. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:206-224 [Conf]
    
13. Ian A. Mason, Carolyn L. Talcott
    Program Transformation via Contextual Assertions. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:225-254 [Conf]
    
14. Kojiro Kobayashi
    On Coding Theorems with Modified Length Functions. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:255-259 [Conf]
    
15. Takumi Kasai, Shusaku Sawato, Shigeki Iwata
    Thirty four Comparisons are Required to Sort 13 Items. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:260-269 [Conf]