The following pages link to Computations in APS (Q1311970):
Displaying 20 items.
- Glushkov's evidence algorithm (Q466397) (← links)
- Objects in algebraic programming system (Q1264601) (← links)
- Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations (Q1264611) (← links)
- The development of a partial evaluator for extended lambda calculus (Q1264617) (← links)
- Theorem proving in a mathematical information environment (Q1288657) (← links)
- Computations in APS (Q1311970) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- Paradigm of software component dictionaries for software development (Q1385766) (← links)
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)
- Algebraic programming: Methods and tools (Q1895040) (← links)
- Basic paradigms of programming (Q1905218) (← links)
- Parallelization of the Buchberger algorithm (Q1907790) (← links)
- Hardware simulation in distributed computing systems: Methods and tools (Q1918738) (← links)
- Tools for simulation of parallel computations in a system of algebraic programming (Q1974329) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- (Q4499161) (← links)
- Glushkov's algorithmic algebras and automated parallel computing design (Q6066027) (← links)
