The following pages link to ALGOL 60 (Q33608):
Displaying 50 items.
- Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable (Q845664) (← links)
- The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
- Peter J. Landin (1930--2009) (Q848746) (← links)
- A functional computation model for the duality of two-variable lambda-Boolean functions (Q861192) (← links)
- Language equations with complementation: decision problems (Q880178) (← links)
- Deciding determinism of unary languages (Q897659) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- Elementary data structures in ALGOL-like languages (Q909449) (← links)
- New techniques for proving the decidability of equivalence problem (Q913523) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- A polynomial algorithm for solving systems of two linear diophantine equations (Q914391) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Extended regular expressions of star degree at most two (Q921911) (← links)
- The submonoid and rational subset membership problems for graph groups. (Q947493) (← links)
- Unambiguous Boolean grammars (Q948095) (← links)
- Computation, hypercomputation, and physical science (Q959046) (← links)
- Decision problems for language equations (Q972384) (← links)
- Conjunctive grammars with restricted disjunction (Q974750) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- Hardware/software co-design then and now (Q1028985) (← links)
- An algorithm for the computation of zeros of a special class of entire functions (Q1062726) (← links)
- A note on Parikh maps, abstract languages, and decision problems (Q1065555) (← links)
- Macro tree transducers (Q1073576) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- On regular trace languages (Q1097040) (← links)
- Characteristics of graph languages generated by edge replacement (Q1098320) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Hierarchies of one-way multihead automata languages (Q1099645) (← links)
- An axiomatic definition of context-free rewriting and its application to NLC graph grammars (Q1102759) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
- Procedures, parameters, and abstraction: Separate concerns (Q1113659) (← links)
- Datalogy - the Copenhagen tradition of computer science (Q1117684) (← links)
- Ein ALGOL-Programm für die Behandlung der Neutronenstreuung eines Flüssigkeitsszintillators nach der Monte-Carlo-Methode (Q1131579) (← links)
- Static procedure identification in compilers for Algol-type languages (Q1132557) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- A method for transforming grammars into LL(k) form (Q1134533) (← links)
- Bounds for the norm of certain spline projections (Q1135460) (← links)
- A Divide and Conquer method for the symmetric tridiagonal eigenproblem (Q1138346) (← links)
- Order-convergence and iterative interval methods (Q1138351) (← links)
- Formal description of context conditions of ALGOL 60 (Q1138365) (← links)
- Introduction of FORMULA type into ALGOL 60 (Q1139373) (← links)
- Programming language ALGOL 68 (Q1140980) (← links)
- An algorithm for numerical differentiation of a function of one real variable (Q1142529) (← links)
- Computational methods of linear algebra (Q1148099) (← links)
- Two iteration theorems for the LL(k) languages (Q1148695) (← links)
- Compilation of an extension of ALGOL (Q1151014) (← links)
- Interdependent translation schemes (Q1151758) (← links)
