Вы здесь

Главная

Mathematical Research

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

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
Optimal Parallel Parsing of Bracket Languages
Parallel Algorithms and Architectures: Proc./ International Workshop on Parallel Algorithms and Architectures held in Suhl (GDR), May 25-30, 1987
Parallel Algorithms and Static Analysis of Parallel Programs
Parallel Algorithms in Image Processing
Parallel Computation and Supercomputers and Applications
Parallel Microprogramming as a Tool for Multi-Microprocessor Systems
Parallel Processing of Combinatorial Search Trees
Parcella 88
PROLOG Implementations for Cellular Architectures
Rewrite Rule Systems for Modal Propositional Logic
SYNAPSE: A Multi-Microprocessor LISP Machine with Parallel Garbage Collector
Translating Algebraic Spesifications to PROLOG Programs: a Comparative Study
Types, Modularisation and Abstraction in Logic Programming
VLSI Arrays Implementing Parallel Line-Drawing Algorithms
What can be Parallelized in Computational Geometry?