The following pages link to ALGOL 60 (Q33608):
Displaying 50 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Equations over sets of integers with addition only (Q295632) (← links)
- The algorithm for identical object searching with bounded worst-case complexity and linear memory (Q341823) (← links)
- Descriptional complexity of bounded context-free languages (Q383365) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata (Q388216) (← links)
- Expressiveness and static analysis of extended conjunctive regular path queries (Q389234) (← links)
- Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Bounded underapproximations (Q453533) (← links)
- A survey of state vectors (Q458456) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- Solving linear systems on a vector computer (Q579836) (← links)
- An algorithm with ALGOL 60 program for the computation of the zeros of ordinary Bessel functions and those of their derivatives (Q600220) (← links)
- A simple P-complete problem and its language-theoretic representations (Q616494) (← links)
- Complexity of equations over sets of natural numbers (Q633764) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Immunity and pseudorandomness of context-free languages (Q653340) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- Macsyma: A personal history (Q655565) (← links)
- Basic notions of universal algebra for language theory and graph grammars (Q671349) (← links)
- Deterministic top-down tree transducers with iterated look-ahead (Q673068) (← links)
- Region-based memory management (Q676777) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Computing the real zeros of cylinder functions and the roots of the equation \(x{\mathcal C}_{\nu}'(x)+\gamma{\mathcal C}_{\nu}(x)=0\). (Q692212) (← links)
- Representing hyper-arithmetical sets by equations over sets of integers (Q693054) (← links)
- Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation (Q695548) (← links)
- Rational relations having a rational trace on each finite intersection of rational relations (Q714813) (← links)
- Parsing Boolean grammars over a one-letter alphabet using online convolution (Q714852) (← links)
- Instruction sequence processing operators (Q715042) (← links)
- First-order logics: some characterizations and closure properties (Q715044) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Zur Elimination von Prozedurschachtelungen (Q754629) (← links)
- Theoretical properties and numerical tests of an efficient nonlinear decomposition algorithm (Q755430) (← links)
- Syntactic operators on full semiAFLs (Q758321) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Language equations with complementation: expressive power (Q764318) (← links)
- Report on the algorithmic language ALGOL by the ACM committee on programming languages and the GAMM committee on programming (Q769984) (← links)
- Report on the algorithmic language Algol 60 (Q771473) (← links)
- Application of the method of the kernel function for solving boundary- value problems (Q775519) (← links)
- Handbook series Special functions. Algorithms for special functions. I (Q775772) (← links)
- The complexity of the satisfiability problem for Krom formulas (Q800915) (← links)
- Modular tree transducers (Q807012) (← links)
- Extended automata-like regular expressions of star degree at most (2,1) (Q808718) (← links)
- On the growth of linear languages (Q817237) (← links)
- Unresolved systems of language equations: expressive power and decision problems (Q817804) (← links)
- Porous invariants (Q832262) (← links)
- Bounded languages described by GF(2)-grammars (Q832949) (← links)
- Defining syntax-directed translations by tree bimorphisms (Q840769) (← links)
