Computations in APS
From MaRDI portal
Publication:1311970
DOI10.1016/0304-3975(93)90343-RzbMath0783.68064OpenAlexW2074329897MaRDI QIDQ1311970
Publication date: 19 January 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90343-r
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01)
Related Items (20)
Algebraic programming: Methods and tools ⋮ Basic paradigms of programming ⋮ Parallel dynamic semantics of sequential programs with speculative and incremental computation ⋮ Parallelization of the Buchberger algorithm ⋮ Hardware simulation in distributed computing systems: Methods and tools ⋮ Paradigm of software component dictionaries for software development ⋮ Glushkov's algorithmic algebras and automated parallel computing design ⋮ Glushkov's evidence algorithm ⋮ Unnamed Item ⋮ An automatic method for the dynamic construction of abstractions of states of a formal model ⋮ Parallel inference search in logical calculus based on the algebraic programming system ⋮ Tools for simulation of parallel computations in a system of algebraic programming ⋮ Systems specification by basic protocols ⋮ Translation of algebraic programs into executable codes ⋮ Objects in algebraic programming system ⋮ Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations ⋮ The development of a partial evaluator for extended lambda calculus ⋮ Theorem proving in a mathematical information environment ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge ⋮ Computations in APS
Uses Software
Cites Work
- Programming in equational logic: Beyond strong sequentiality
- Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference)
- REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
- Computations in APS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Computations in APS