Masahiko Sato

According to our database, Masahiko Sato authored at least 26 papers between 1976 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

A Canonical Locally Named Representation of Binding.

Randy Pollack, Masahiko Sato, Wilmer Ricciotti

J. Autom. Reason., 2012

2010

External and internal syntax of the lambda-calculus.

Masahiko Sato, Randy Pollack

J. Symb. Comput., 2010

2008

A framework for checking proofs naturally.

Masahiko Sato

J. Intell. Inf. Syst., 2008

Calculi of meta-variables.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi

Frontiers Comput. Sci. China, 2008

2004

A Simple Theory of Expressions, Judgments and Derivations.

Masahiko Sato

Proceedings of the Advances in Computer Science, 2004

2002

Strong normalizability of the non-deterministic catch/throw calculi.

Yukiyoshi Kameyama, Masahiko Sato

Theor. Comput. Sci., 2002

A Simply Typed Context Calculus with First-class Environments.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama

J. Funct. Log. Program., 2002

Theory of Judgments and Derivations.

Masahiko Sato

Proceedings of the Progress in Discovery Science, 2002

2001

Explicit Environments.

Masahiko Sato, Takafumi Sakurai, Rod M. Burstall

Fundam. Informaticae, 2001

CAL: A Computer Assisted Learning System for Computation and Logic.

Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti

Proceedings of the Computer Aided Systems Theory, 2001

1998

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability.

Yukiyoshi Kameyama, Masahiko Sato

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1997

Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules.

Masahiko Sato

Theor. Comput. Sci., 1997

Classical Brouwer-Heyting-Kolmogorov Interpretation.

Masahiko Sato

Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996

Fault Detection Algorithm of Acoustic Inspection System for Underground Telecommunication Conduit.

Tetsuya Manabe, Masahiko Sato, Tadashi Kotani, Takenori Morimitsu

Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996

1994

A Purely Functional Language with Encapsulated Assignment.

Masahiko Sato

Proceedings of the Theoretical Aspects of Computer Software, 1994

Conservativeness of Lambda over lambda-sigma-Calculus.

Masahiko Sato, Yukiyoshi Kameyama

Proceedings of the Logic, 1994

1991

Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures.

Masahiko Sato

Proceedings of the Theoretical Aspects of Computer Software, 1991

1987

Quty: A Concurrent Language Based on Logic and Function.

Masahiko Sato

Proceedings of the Logic Programming, 1987

1986

QUTE: A Functional Language Based on Unification.

Masahiko Sato, Takafumi Sakurai

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

QUTE: A Functional Language Based on Unification.

Masahiko Sato, Takafumi Sakurai

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Theory of Symbolic Expressions, I.

Masahiko Sato

Theor. Comput. Sci., 1983

Qute: A Prolog/Lisp Type Language for Logic Programming.

Masahiko Sato, Takafumi Sakurai

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1980

A Cut-Free Gentzen-Type System for the Modal Logic S5.

Masahiko Sato

J. Symb. Log., 1980

1979

Towards a Mathematical Theory of Program Synthesis.

Masahiko Sato

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

The Retracts in <i>P omega</i> do not Form a Continuous Lattice - A Solution to Scott's Problem.

Chiharu Hosono, Masahiko Sato

Theor. Comput. Sci., 1977

1976

On Formal Fractions Associated with the Symmetric Groups.

Masahiko Sato

J. Comb. Theory A, 1976