The SCEAS System
Navigation Menu

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]
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