RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540119807, 9783540394426

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DURAL: an extended Prolog language

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_16 ◽

1983 ◽

pp. 73-87 ◽

Cited By ~ 2

Author(s):

Shigeki Goto

Keyword(s):

Extended Prolog

Download Full-text

Partial computation of programs

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_13 ◽

1983 ◽

pp. 1-35 ◽

Cited By ~ 24

Author(s):

Yoshihiko Futamura

Download Full-text

Hardware algorithms and logic design automation

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_21 ◽

1983 ◽

pp. 147-164

Author(s):

Shuzo Yajima ◽

Hiroto Yasuura

Keyword(s):

Design Automation ◽

Logic Design

Download Full-text

An algorithm for intelligent backtracking

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_17 ◽

1983 ◽

pp. 88-98 ◽

Cited By ~ 2

Author(s):

Taisuke Sato

Keyword(s):

Intelligent Backtracking

Download Full-text

Relational algebra machine GRACE

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_23 ◽

1983 ◽

pp. 191-214 ◽

Cited By ~ 11

Author(s):

Masaru Kitsuregawa ◽

Hidehiko Tanaka ◽

Tohru Moto-oka

Keyword(s):

Relational Algebra

Download Full-text

Toward the design and implementation of object oriented architecture

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_15 ◽

1983 ◽

pp. 49-72 ◽

Cited By ~ 1

Author(s):

Mario Tokoro

Keyword(s):

Object Oriented ◽

Design And Implementation

Download Full-text

Vocabulary building for database queries

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_24 ◽

1983 ◽

pp. 215-232 ◽

Cited By ~ 2

Author(s):

Yuzuru Tanaka

Keyword(s):

Database Queries ◽

Vocabulary Building

Download Full-text

Treatment of big values in an applicative language HFP

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_14 ◽

1983 ◽

pp. 36-48

Author(s):

Takuya Katayama

Keyword(s):

Applicative Language

Download Full-text

Polynomial time inference of extended regular pattern languages

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_19 ◽

1983 ◽

pp. 115-127 ◽

Cited By ~ 82

Author(s):

Takeshi Shinohara

Keyword(s):

Polynomial Time ◽

Regular Pattern ◽

Pattern Languages

Download Full-text

List processing with a data flow machine

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-11980-9_22 ◽

1983 ◽

pp. 165-190 ◽

Cited By ~ 4

Author(s):

Makoto Amamiya ◽

Ryuzo Hasegawa ◽

Hirohide Mikami

Keyword(s):

Data Flow ◽

List Processing

Download Full-text

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

DURAL: an extended Prolog language

Partial computation of programs

Hardware algorithms and logic design automation

An algorithm for intelligent backtracking

Relational algebra machine GRACE

Toward the design and implementation of object oriented architecture

Vocabulary building for database queries

Treatment of big values in an applicative language HFP

Polynomial time inference of extended regular pattern languages

List processing with a data flow machine

RIMS Symposia on Software Science and Engineering - Lecture Notes in Computer Science
Latest Publications