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) |