The following pages link to APS-1 (Q13951):
Displaying 26 items.
- 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)
- On the creation of a macromodel of social development (Q1333704) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- Paradigm of software component dictionaries for software development (Q1385766) (← links)
- A rewriting machine and optimization of strategies of term rewriting (Q1407059) (← links)
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Using hypertext for symbolic and analytical transformations (Q1816088) (← links)
- Algebraic programming: Methods and tools (Q1895040) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- Basic paradigms of programming (Q1905218) (← links)
- Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1 (Q1905234) (← 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)
- Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment (Q1974334) (← links)
- Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (Q2263246) (← 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)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
