On Formal Fractions Associated with the Symmetric Groups. - Masahiko Sato 001 (J. Comb. Theory A, 1976)

The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem. - Chiharu Hosono; Masahiko Sato 001 (Theor. Comput. Sci., 1977)

Towards a Mathematical Theory of Program Synthesis. - Masahiko Sato 001 (IJCAI, 1979)

A Cut-Free Gentzen-Type System for the Modal Logic S5. - Masahiko Sato 001 (J. Symb. Log., 1980)

Qute: A Prolog/Lisp Type Language for Logic Programming. - Masahiko Sato 001; Takafumi Sakurai (IJCAI, 1983)

Theory of Symbolic Expressions, I. - Masahiko Sato 001 (Theor. Comput. Sci., 1983)

QUTE: A Functional Language Based on Unification. - Masahiko Sato 001; Takafumi Sakurai (FGCS, 1984)

QUTE: A Functional Language Based on Unification. - Masahiko Sato 001; Takafumi Sakurai (Logic Programming: Functions, Relations, and Equations, 1986)

Quty: A Concurrent Language Based on Logic and Function. - Masahiko Sato 001 (ICLP, 1987)

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures. - Masahiko Sato 001 (TACS, 1991)

Conservativeness of Lambda over lambda-sigma-Calculus. - Masahiko Sato 001; Yukiyoshi Kameyama (Logic, Language and Computation, 1994)

A Purely Functional Language with Encapsulated Assignment. - Masahiko Sato 001 (TACS, 1994)

Fault Detection Algorithm of Acoustic Inspection System for Underground Telecommunication Conduit. - Tetsuya Manabe; Masahiko Sato 001; Tadashi Kotani; Takenori Morimitsu (ISSPA, 1996)

Classical Brouwer-Heyting-Kolmogorov Interpretation. - Masahiko Sato 001 (ALT, 1997)

Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. - Masahiko Sato 001 (Theor. Comput. Sci., 1997)

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. - Yukiyoshi Kameyama; Masahiko Sato 001 (CATS, 1998)

CAL: A Computer Assisted Learning System for Computation and Logic. - Masahiko Sato 001; Yukiyoshi Kameyama; Izumi Takeuti (EUROCAST, 2001)

Explicit Environments. - Masahiko Sato 001; Takafumi Sakurai; Rod M. Burstall (Fundam. Informaticae, 2001)

Theory of Judgments and Derivations. - Masahiko Sato 001 (Progress in Discovery Science, 2002)

A Simply Typed Context Calculus with First-class Environments. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama (J. Funct. Log. Program., 2002)

Strong normalizability of the non-deterministic catch/throw calculi. - Yukiyoshi Kameyama; Masahiko Sato 001 (Theor. Comput. Sci., 2002)

A Simple Theory of Expressions, Judgments and Derivations. - Masahiko Sato 001 (ASIAN, 2004)

Calculi of meta-variables. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama; Atsushi Igarashi (Frontiers Comput. Sci. China, 2008)

A framework for checking proofs naturally. - Masahiko Sato 001 (J. Intell. Inf. Syst., 2008)

External and internal syntax of the lambda-calculus. - Masahiko Sato 001; Randy Pollack (J. Symb. Comput., 2010)

A Canonical Locally Named Representation of Binding. - Randy Pollack; Masahiko Sato 001; Wilmer Ricciotti (J. Autom. Reason., 2012)