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

Masahiko Sato (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming 2002: (2002)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYukiyoshi Kameyama, Masahiko Sato: Strong normalizability of the non-deterministic catch/throw calculi. Theor. Comput. Sci. 272(1-2): 223-245 (2002)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti: CAL: A Computer Assisted Learning System for Computation and Logic. EUROCAST 2001: 509-524
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments. FLOPS 2001: 359-374
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYukiyoshi Kameyama, Masahiko Sato: A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. CATS 1998: 183-198
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahiko Sato, Yukiyoshi Kameyama: Conservativeness of Lambda over lambda-sigma-Calculus. Logic, Language and Computation 1994: 73-94

Selection of 8 from 35 records - Masahiko Sato has 18 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page