The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Masahiko Sato: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Masahiko Sato, Takafumi Sakurai
    QUTE: A Functional Language Based on Unification. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:157-165 [Conf]
  2. Masahiko Sato
    Classical Brouwer-Heyting-Kolmogorov Interpretation. [Citation Graph (0, 0)][DBLP]
    ALT, 1997, pp:176-196 [Conf]
  3. Masahiko Sato
    A Simple Theory of Expressions, Judgments and Derivations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:437-451 [Conf]
  4. 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]
  5. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
    Calculi of Meta-variables. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:484-497 [Conf]
  6. Masahiko Sato
    Theory of Judgments and Derivations. [Citation Graph (0, 0)][DBLP]
    Progress in Discovery Science, 2002, pp:78-122 [Conf]
  7. Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti
    CAL: A Computer Assisted Learning System for Computation and Logic. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:509-524 [Conf]
  8. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
    A Simply Typed Context Calculus with First-Class Environments. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:359-374 [Conf]
  9. Masahiko Sato
    Quty: A Concurrent Language Based on Logic and Function. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:1034-1056 [Conf]
  10. Masahiko Sato, Takafumi Sakurai
    Qute: A Prolog/Lisp Type Language for Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:507-513 [Conf]
  11. Masahiko Sato
    Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:53-87 [Conf]
  12. Masahiko Sato
    A Purely Functional Language with Encapsulated Assignment. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:179-202 [Conf]
  13. Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
    Explicit Environments. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:340-354 [Conf]
  14. Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
    Explicit Environments. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:1-2, pp:79-115 [Journal]
  15. Masahiko Sato
    On Formal Fractions Associated with the Symmetric Groups. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1976, v:20, n:1, pp:124-131 [Journal]
  16. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
    A Simply Typed Context Calculus with First-class Environments. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
  17. Masahiko Sato
    A Cut-Free Gentzen-Type System for the Modal Logic S5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:1, pp:67-84 [Journal]
  18. Chiharu Hosono, Masahiko Sato
    The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1977, v:4, n:2, pp:137-142 [Journal]
  19. Yukiyoshi Kameyama, Masahiko Sato
    Strong normalizability of the non-deterministic catch/throw calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:272, n:1-2, pp:223-245 [Journal]
  20. Masahiko Sato
    Theory of Symbolic Expressions, I. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:22, n:, pp:19-55 [Journal]
  21. Masahiko Sato
    Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:175, n:1, pp:75-92 [Journal]

  22. A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. [Citation Graph (, )][DBLP]


  23. Fly! Little Me: Localization of Body-Image within Reduced-Self. [Citation Graph (, )][DBLP]


  24. Analyzing Human Behaviors in an Interactive Art Installation. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
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