| 2008 |
|---|
| 28 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of meta-variables.
Frontiers of Computer Science in China 2(1): 12-21 (2008) |
| 27 | EE | Hernán E. Aguirre,
Masahiko Sato,
Kiyoshi Tanaka:
delta-Similar Elimination to Enhance Search Performance of Multiobjective Evolutionary Algorithms.
IEICE Transactions 91-D(4): 1206-1210 (2008) |
| 26 | EE | Masahiko Sato:
A framework for checking proofs naturally.
J. Intell. Inf. Syst. 31(2): 111-125 (2008) |
| 2004 |
|---|
| 25 | EE | Masahiko Sato:
A Simple Theory of Expressions, Judgments and Derivations.
ASIAN 2004: 437-451 |
| 2003 |
|---|
| 24 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of Meta-variables.
CSL 2003: 484-497 |
| 2002 |
|---|
| 23 | EE | Masahiko Sato:
Theory of Judgments and Derivations.
Progress in Discovery Science 2002: 78-122 |
| 22 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-class Environments.
Journal of Functional and Logic Programming 2002: (2002) |
| 21 | EE | Yukiyoshi Kameyama,
Masahiko Sato:
Strong normalizability of the non-deterministic catch/throw calculi.
Theor. Comput. Sci. 272(1-2): 223-245 (2002) |
| 2001 |
|---|
| 20 | EE | Masahiko Sato,
Yukiyoshi Kameyama,
Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic.
EUROCAST 2001: 509-524 |
| 19 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-Class Environments.
FLOPS 2001: 359-374 |
| 18 | | Masahiko Sato,
Takafumi Sakurai,
Rod M. Burstall:
Explicit Environments.
Fundam. Inform. 45(1-2): 79-115 (2001) |
| 2000 |
|---|
| 17 | | Jifeng He,
Masahiko Sato:
Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings
Springer 2000 |
| 1999 |
|---|
| 16 | EE | Masahiko Sato,
Takafumi Sakurai,
Rod M. Burstall:
Explicit Environments.
TLCA 1999: 340-354 |
| 1998 |
|---|
| 15 | | Yukiyoshi Kameyama,
Masahiko Sato:
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability.
CATS 1998: 183-198 |
| 1997 |
|---|
| 14 | | Masahiko Sato:
Classical Brouwer-Heyting-Kolmogorov Interpretation.
ALT 1997: 176-196 |
| 13 | EE | Masahiko Sato:
Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules.
Theor. Comput. Sci. 175(1): 75-92 (1997) |
| 1994 |
|---|
| 12 | | Neil D. Jones,
Masami Hagiya,
Masahiko Sato:
Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
Springer 1994 |
| 11 | | Masahiko Sato,
Yukiyoshi Kameyama:
Conservativeness of Lambda over lambda-sigma-Calculus.
Logic, Language and Computation 1994: 73-94 |
| 10 | | Masahiko Sato:
A Purely Functional Language with Encapsulated Assignment.
TACS 1994: 179-202 |
| 1991 |
|---|
| 9 | | Masahiko Sato:
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures.
TACS 1991: 53-87 |
| 1987 |
|---|
| 8 | | Masahiko Sato:
Quty: A Concurrent Language Based on Logic and Function.
ICLP 1987: 1034-1056 |
| 1986 |
|---|
| 7 | | Masahiko Sato,
Takafumi Sakurai:
QUTE: A Functional Language Based on Unification.
Logic Programming: Functions, Relations, and Equations 1986: 131-155 |
| 1984 |
|---|
| 6 | | Masahiko Sato,
Takafumi Sakurai:
QUTE: A Functional Language Based on Unification.
FGCS 1984: 157-165 |
| 1983 |
|---|
| 5 | | Masahiko Sato,
Takafumi Sakurai:
Qute: A Prolog/Lisp Type Language for Logic Programming.
IJCAI 1983: 507-513 |
| 4 | | Masahiko Sato:
Theory of Symbolic Expressions, I.
Theor. Comput. Sci. 22: 19-55 (1983) |
| 1980 |
|---|
| 3 | | Masahiko Sato:
A Cut-Free Gentzen-Type System for the Modal Logic S5.
J. Symb. Log. 45(1): 67-84 (1980) |
| 1977 |
|---|
| 2 | | Chiharu Hosono,
Masahiko Sato:
The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem.
Theor. Comput. Sci. 4(2): 137-142 (1977) |
| 1976 |
|---|
| 1 | | Masahiko Sato:
On Formal Fractions Associated with the Symmetric Groups.
J. Comb. Theory, Ser. A 20(1): 124-131 (1976) |
