Вы здесь

Главная

СОВ

Связанные издания:

ACP with Signals
A Survey of Parallel Computational Geometry Algorithms
BABEL: A Functional and Logic Programming Language based on constructor discipline and narrowing
Fast Parallel Algorithms and the Complexity of Parallelism (Basic issues and recent advances)
Functional Extensions to PROLOG: are they needed?
Integrating Logic Programming and Equational Specification of Abstract Data Types
Logic Programming with Polymorphically Order-Sorted Types
Modular Algebraic Specifications
Modular Highly-Parallel Computation and Architectures
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Nonstandard Logics of Recursive Programs and Denotational Semantics
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization
Parallel Algorithms in Image Processing
Parallel Computation and Supercomputers and Applications
Parallel Microprogramming as a Tool for Multi-Microprocessor Systems
Parcella 88
PROLOG Implementations for Cellular Architectures
Rewrite Rule Systems for Modal Propositional Logic
Translating Algebraic Spesifications to PROLOG Programs: a Comparative Study
Types, Modularisation and Abstraction in Logic Programming
VLSI Arrays Implementing Parallel Line-Drawing Algorithms