dblp.uni-trier.dewww.uni-trier.de

Masahiko Sato

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
28EEMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)
27EEHerná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)
26EEMasahiko Sato: A framework for checking proofs naturally. J. Intell. Inf. Syst. 31(2): 111-125 (2008)
2004
25EEMasahiko Sato: A Simple Theory of Expressions, Judgments and Derivations. ASIAN 2004: 437-451
2003
24EEMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497
2002
23EEMasahiko Sato: Theory of Judgments and Derivations. Progress in Discovery Science 2002: 78-122
22EEMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming 2002: (2002)
21EEYukiyoshi Kameyama, Masahiko Sato: Strong normalizability of the non-deterministic catch/throw calculi. Theor. Comput. Sci. 272(1-2): 223-245 (2002)
2001
20EEMasahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti: CAL: A Computer Assisted Learning System for Computation and Logic. EUROCAST 2001: 509-524
19EEMasahiko 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
16EEMasahiko 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
13EEMasahiko 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)

Coauthor Index

1Hernán E. Aguirre [27]
2Rod M. Burstall [16] [18]
3Masami Hagiya [12]
4Jifeng He [17]
5Chiharu Hosono [2]
6Atsushi Igarashi [24] [28]
7Neil D. Jones [12]
8Yukiyoshi Kameyama [11] [15] [19] [20] [21] [22] [24] [28]
9Takafumi Sakurai [5] [6] [7] [16] [18] [19] [22] [24] [28]
10Izumi Takeuti [20]
11Kiyoshi Tanaka [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)