scientific article
From MaRDI portal
Publication:4002611
zbMath0751.68003MaRDI QIDQ4002611
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic logicprogram transformationnumerical analysiscompiler constructionswitching theoryMathematikprogramming methodologiesInformatikalgebraic methods in computer science
Theory of compilers and interpreters (68N20) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of computing (68Q99)
Related Items (6)
Multidimensional \(\sigma\)-automata, \(\pi\)-polynomials and generalised S-matrices ⋮ Improved bounds for the CF algorithm ⋮ Nearly optimal refinement of real roots of a univariate polynomial ⋮ On the complexity of real root isolation using continued fractions ⋮ Multiplicative independence of algebraic numbers and expressions ⋮ Nearly optimal computations with structured matrices
This page was built for publication:
