Masahiko Sato

Publication Activity (10 Years)

Years Active: 1976-2012
Publications (10 Years): 0

Top Topics

Information Retrieval

Image Processing

Top Venues

J. Autom. Reason.

Publications

Randy Pollack, Masahiko Sato, Wilmer Ricciotti
A Canonical Locally Named Representation of Binding. J. Autom. Reason. 49 (2) (2012)
Masahiko Sato, Randy Pollack
External and internal syntax of the lambda-calculus. J. Symb. Comput. 45 (5) (2010)
Masahiko Sato
A framework for checking proofs naturally. J. Intell. Inf. Syst. 31 (2) (2008)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of meta-variables. Frontiers Comput. Sci. China 2 (1) (2008)
Masahiko Sato
A Simple Theory of Expressions, Judgments and Derivations. ASIAN (2004)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of Meta-variables. CSL (2003)
Yukiyoshi Kameyama, Masahiko Sato
Strong normalizability of the non-deterministic catch/throw calculi. Theor. Comput. Sci. 272 (1-2) (2002)
Masahiko Sato
Theory of Judgments and Derivations. Progress in Discovery Science (2002)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
A Simply Typed Context Calculus with First-class Environments. J. Funct. Log. Program. 2002 (2002)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
A Simply Typed Context Calculus with First-Class Environments. FLOPS (2001)
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
Explicit Environments. Fundam. Informaticae 45 (1-2) (2001)
Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti
CAL: A Computer Assisted Learning System for Computation and Logic. EUROCAST (2001)
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
Explicit Environments. TLCA (1999)
Yukiyoshi Kameyama, Masahiko Sato
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. CATS (1998)
Masahiko Sato
Classical Brouwer-Heyting-Kolmogorov Interpretation. ALT (1997)
Masahiko Sato
Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. Theor. Comput. Sci. 175 (1) (1997)
Tetsuya Manabe, Masahiko Sato, Tadashi Kotani, Takenori Morimitsu
Fault Detection Algorithm of Acoustic Inspection System for Underground Telecommunication Conduit. ISSPA (1996)
Masahiko Sato
A Purely Functional Language with Encapsulated Assignment. TACS (1994)
Masahiko Sato, Yukiyoshi Kameyama
Conservativeness of Lambda over lambda-sigma-Calculus. Logic, Language and Computation (1994)
Masahiko Sato
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. TACS (1991)
Masahiko Sato
Quty: A Concurrent Language Based on Logic and Function. ICLP (1987)
Masahiko Sato, Takafumi Sakurai
QUTE: A Functional Language Based on Unification. FGCS (1984)
Masahiko Sato
Theory of Symbolic Expressions, I. Theor. Comput. Sci. 22 (1983)
Masahiko Sato, Takafumi Sakurai
Qute: A Prolog/Lisp Type Language for Logic Programming. IJCAI (1983)
Masahiko Sato
A Cut-Free Gentzen-Type System for the Modal Logic S5. J. Symb. Log. 45 (1) (1980)
Masahiko Sato
Towards a Mathematical Theory of Program Synthesis. IJCAI (1979)
Chiharu Hosono, Masahiko Sato
do not Form a Continuous Lattice - A Solution to Scott's Problem. Theor. Comput. Sci. 4 (2) (1977)
Masahiko Sato
On Formal Fractions Associated with the Symmetric Groups. J. Comb. Theory, Ser. A 20 (1) (1976)