The following pages link to ALGOL 60 (Q33608):
Displaying 50 items.
- Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari (Q1249415) (← links)
- Counting productions in context-free derivations (Q1249944) (← links)
- Fast algorithms for the conjugate periodic function (Q1255761) (← links)
- Some decision problems concerning sequential transducers and checking automata (Q1256855) (← links)
- On computer generation of balanced arrays (Q1257319) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- All structured programs have small tree width and good register allocation (Q1271620) (← links)
- Pushdown cellular automata (Q1285588) (← links)
- On a generalized product for domains (Q1311968) (← links)
- Numerics of Gram-Schmidt orthogonalization (Q1319993) (← links)
- Correctness of fixpoint transformations (Q1329743) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Modularity and reusability in attribute grammars (Q1338904) (← links)
- Periodic sets of integers (Q1342238) (← links)
- On the language of primitive words (Q1351946) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Multipass precedence analysis (Q1393278) (← links)
- Verification in loosely synchronous queue-connected discrete timed automata. (Q1401187) (← links)
- A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions (Q1404414) (← links)
- The commutative closure of a binary slip-language is context-free: A new proof. (Q1414244) (← links)
- A new algorithm for regularizing one-letter context-free grammars. (Q1426442) (← links)
- On lengths of words in context-free languages (Q1575557) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- A unified language processing methodology (Q1603702) (← links)
- Context-free languages of sub-exponential growth (Q1608320) (← links)
- One-counter pushdown-storage automata as transducers of sequences (Q1626654) (← links)
- Proofs of proximity for context-free languages and read-once branching programs (Q1640993) (← links)
- The genesis and early developments of Aitken's process, Shanks' transformation, the \(\varepsilon\)-algorithm, and related fixed point methods (Q1710714) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains (Q1800385) (← links)
- Scheduling of power generation via large-scale nonlinear optimization (Q1821695) (← links)
- Characterization of unary developmental languages (Q1843172) (← links)
- Ambiguity and decision problems for local adjunct languages (Q1843306) (← links)
- Die numerische Lösung linearer Differentialgleichungen zweiter Ordnung mit konstanten Koeffizienten (Q1844063) (← links)
- Time bounded random access machines (Q1844708) (← links)
- Mutually divisible semigroups (Q1846501) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Context-free series on trees (Q1854452) (← links)
- Unary context-free grammars and pushdown automata, descriptional complexity and auxiliary space lower bounds. (Q1872711) (← links)
- Eliminating the storage tape in reachability constructions. (Q1874416) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
- An evolutionary system for neural logic networks using genetic programming and indirect encoding (Q1884277) (← links)
- Boolean grammars (Q1886037) (← links)
- A new pivoting strategy for Gaussian elimination (Q1915612) (← links)
- Evaluating infinite integrals involving Bessel functions of arbitrary order (Q1917917) (← links)
- Rational approximation formulas for computing the positive zeros of \(J_ 0(x)\) (Q1919418) (← links)
