WorldCat Identities

Sato, Masahiko 1947-

Overview
Works: 20 works in 65 publications in 4 languages and 895 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Other, Author
Publication Timeline
.
Most widely held works about Masahiko Sato
 
Most widely held works by Masahiko Sato
Logic, language, and computation : festschrift in honor of Satoru Takasu by Neil D Jones( Book )

14 editions published in 1994 in 4 languages and held by 389 WorldCat member libraries worldwide

"This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the Research Institute of Mathematical Sciences at the University of Kyoto. The purpose of this volume is to celebrate Professor Takasu's influence on theoretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities."--PUBLISHER'S WEBSITE
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings by Jifeng He( Book )

16 editions published in 2000 in English and held by 365 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th Asian Computing Science Conference, ASIAN 2000, held in Penang, Malaysia in November 2000. The 18 revised full papers presented were carefully reviewed and selected from a total of 61 submissions. The papers presented cover various topics in computer science and its applications, with a certain focus on networking and network performance and on programming logics and program semantics
Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 by Fuji International Symposium on Functional and Logic Programming( Book )

6 editions published in 1998 in English and held by 81 WorldCat member libraries worldwide

Logic, Language and Computation Festschrift in Honor of Satoru Takasu by Neil D Jones( )

1 edition published in 1994 in English and held by 31 WorldCat member libraries worldwide

Functional and Logic Programming : Proceedings of the Third Fuji International Symposium by Masahiko Sato( )

1 edition published in 1998 in English and held by 4 WorldCat member libraries worldwide

Foundations of logic programming by J. W Lloyd( Book )

2 editions published in 1987 in Japanese and held by 4 WorldCat member libraries worldwide

Declarative semantics; Procedural semantics; Negation; Perpetual processes; Index
Puroguramu no kiso riron( Book )

2 editions published in 1991 in Japanese and held by 3 WorldCat member libraries worldwide

Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 by Kyoto, Japan) Fuji International Symposium on Functional and Logic Programming ( 1998( )

1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide

"This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation."--
Konpyūta saiensu( Book )

3 editions published in 1974 in Japanese and held by 2 WorldCat member libraries worldwide

Konpyūtasaiensu 1( Book )

4 editions published in 1974 in Japanese and held by 2 WorldCat member libraries worldwide

Dōga de wakaru surīdī setsubi sekōzu nyūmon : jēdaburyū kyado to suketchiappu de kantan ni sakusei by Masahiko Sato( Book )

2 editions published in 2018 in Japanese and held by 2 WorldCat member libraries worldwide

Konpyūta saiensu( Book )

3 editions published in 1974 in Japanese and held by 2 WorldCat member libraries worldwide

Dōga de wakaru jēdaburyū kyado sebun saikyō baiburu by Masahiko Sato( Book )

1 edition published in 2013 in Japanese and held by 1 WorldCat member library worldwide

Iwanami kōza sofutōea kagaku( Book )

1 edition published in 1991 in Japanese and held by 1 WorldCat member library worldwide

Dōga de wakaru jēdaburyū kyado saikyō baiburu by Masahiko Sato( Book )

1 edition published in 2010 in Japanese and held by 1 WorldCat member library worldwide

Doga de wakaru sukecchi appu saikyo baiburu by Masahiko Sato( Book )

1 edition published in 2013 in Japanese and held by 1 WorldCat member library worldwide

Special issue on functional and logic programming( Book )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Kumiawase kōzō to gurafu riron( Book )

2 editions published in 1976 in Japanese and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.66 for Third Fuji ... to 1.00 for Papers, 19 ...)

Logic, language, and computation : festschrift in honor of Satoru Takasu
Covers
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedingsThird Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Alternative Names
Masahiko Sato.

Masahiko Satō scholar of theoretical computer science

Satō, Masahiko, 1947-

Сато, Масахико

サトウ, マサヒコ 1947-

佐藤雅彦 1947-

佐藤雅彦 (理論計算機科学者)

Languages