Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540620648, 9783540496373

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Polyvariant expansion and compiler generators

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_24 ◽

1996 ◽

pp. 285-296 ◽

Cited By ~ 2

Author(s):

Peter Thiemann ◽

Michael Sperber

Download Full-text

Program transformation with metasystem transitions: Experiments with a supercompiler

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_21 ◽

1996 ◽

pp. 249-260 ◽

Cited By ~ 7

Author(s):

Andrei P. Nemytykh ◽

Victoria A. Pinchuk

Keyword(s):

Program Transformation

Download Full-text

Problem solving in the object-oriented technological environment NeMo+

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_9 ◽

1996 ◽

pp. 91-100 ◽

Cited By ~ 1

Author(s):

Vitaly Telerman ◽

Vladimir Sidorov ◽

Dmitry Ushakov

Keyword(s):

Problem Solving ◽

Object Oriented ◽

Technological Environment

Download Full-text

Application of subdefinite models for solving constraint satisfaction problems

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_8 ◽

1996 ◽

pp. 80-90 ◽

Cited By ~ 1

Author(s):

T. M. Yakhno ◽

E. S. Petrov

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_7 ◽

1996 ◽

pp. 68-79

Author(s):

Brian Mayoh

Keyword(s):

Genetic Algorithm ◽

Pollution Control ◽

Artificial Life ◽

Parallel Connection ◽

Connection Machine

Download Full-text

The disjunctive constrained lambda calculus

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_25 ◽

1996 ◽

pp. 297-309 ◽

Cited By ~ 2

Author(s):

Luis Mandel ◽

María Victoria Cengarle

Keyword(s):

Lambda Calculus

Download Full-text

BTA Algorithms to ensure termination of off-line partial evaluation

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_23 ◽

1996 ◽

pp. 273-284 ◽

Cited By ~ 8

Author(s):

Arne J. Glenstrup ◽

Neil D. Jones

Keyword(s):

Partial Evaluation

Download Full-text

Derivation of explicitly parallel code from declarative program by transformations

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_16 ◽

1996 ◽

pp. 178-190

Author(s):

Elena Trichina

Keyword(s):

Parallel Code

Download Full-text

An associative version of the Prim-Dijkstra algorithm and its application to some graph problems

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_18 ◽

1996 ◽

pp. 203-213 ◽

Cited By ~ 4

Author(s):

A. S. Nepomniaschaya

Keyword(s):

Dijkstra Algorithm ◽

Graph Problems

Download Full-text

Merging relational database technology with constraint technology

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-62064-8_34 ◽

1996 ◽

pp. 409-419 ◽

Cited By ~ 3

Author(s):

Andrei Voronkov

Keyword(s):

Relational Database ◽

Database Technology

Download Full-text

Lecture Notes in Computer Science - Perspectives of System InformaticsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Polyvariant expansion and compiler generators

Program transformation with metasystem transitions: Experiments with a supercompiler

Problem solving in the object-oriented technological environment NeMo+

Application of subdefinite models for solving constraint satisfaction problems

Artificial life and pollution control: Explorations of a genetic algorithm system on the highly parallel connection machine

The disjunctive constrained lambda calculus

BTA Algorithms to ensure termination of off-line partial evaluation

Derivation of explicitly parallel code from declarative program by transformations

An associative version of the Prim-Dijkstra algorithm and its application to some graph problems

Merging relational database technology with constraint technology

Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications