Cited in
(only showing first 100 items - show all)- Einige ALGOL-Programme für Sortierverfahren
- The synthesis of Petri nets from path-automatic specifications
- scientific article; zbMATH DE number 3368164 (Why is no real title available?)
- scientific article; zbMATH DE number 3371605 (Why is no real title available?)
- scientific article; zbMATH DE number 4035085 (Why is no real title available?)
- Generalization learning techniques for automating the learning of heuristics
- Forward analysis and model checking for trace bounded WSTS
- scientific article; zbMATH DE number 3199251 (Why is no real title available?)
- scientific article; zbMATH DE number 3700382 (Why is no real title available?)
- Proof obligations for blocks and procedures
- scientific article; zbMATH DE number 3461468 (Why is no real title available?)
- Deciding determinism of unary languages
- Unary context-free grammars and pushdown automata, descriptional complexity and auxiliary space lower bounds.
- A theorem on generalizations of proofs
- The origins of structural operational semantics
- Semantical analysis of specification logic
- scientific article; zbMATH DE number 1290077 (Why is no real title available?)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics
- A guided tour of the mathematics of MetaSoft '88
- A note on undecidable properties of formal languages
- The commutative closure of a binary slip-language is context-free: A new proof.
- Datalogy - the Copenhagen tradition of computer science
- An algol‐like assembly language for a small computer
- Five ALGOL Compilers
- Language and the rise of the algorithm
- On lengths of words in context-free languages
- Basic notions of universal algebra for language theory and graph grammars
- A dictionary structure for a PL/I compiler
- An implementation base for efficient data structuring
- scientific article; zbMATH DE number 3646631 (Why is no real title available?)
- A run-time mechanism for referencing variables
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
- Verification in loosely synchronous queue-connected discrete timed automata.
- Computational interpretations of linear logic
- scientific article; zbMATH DE number 53117 (Why is no real title available?)
- The unified data structure capability in Madcap VI
- Semantic preserving translations
- Instruction sequence processing operators
- Multitape NFA: Weak Synchronization of the Input Heads
- Algorithm AS 255: Fitting of Two-Way Tables by Means for Rows, Columns and Cross-Term
- Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
- Rational relations having a rational trace on each finite intersection of rational relations
- scientific article; zbMATH DE number 3269478 (Why is no real title available?)
- scientific article; zbMATH DE number 3716659 (Why is no real title available?)
- \(L(A)=L(B)\)? decidability results from complete formal systems
- scientific article; zbMATH DE number 2013742 (Why is no real title available?)
- Computational methods of linear algebra
- 2DST mappings of languages and related problems
- A hardware representation for ALGOL 60 using Creed teleprinter equipment
- Input and output for ALGOL 60 on KDF 9
- An evolutionary system for neural logic networks using genetic programming and indirect encoding
- A constraint-based region inference algorithm
- Weakly complete axiomatization of exogenous quantum propositional logic
- scientific article; zbMATH DE number 3397060 (Why is no real title available?)
- scientific article; zbMATH DE number 3397061 (Why is no real title available?)
- Defining syntax-directed translations by tree bimorphisms
- scientific article; zbMATH DE number 3398719 (Why is no real title available?)
- scientific article; zbMATH DE number 3400441 (Why is no real title available?)
- scientific article; zbMATH DE number 3403727 (Why is no real title available?)
- scientific article; zbMATH DE number 3407116 (Why is no real title available?)
- An extension of context-free grammars with one-sided context specifications
- Limited automata and unary languages
- The ring of k-regular sequences
- scientific article; zbMATH DE number 3273622 (Why is no real title available?)
- Parikh's theorem and descriptional complexity
- One-counter pushdown-storage automata as transducers of sequences
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- IO and OI. II
- A new algorithm for regularizing one-letter context-free grammars.
- Fifty years of Hoare's logic
- An observationally complete program logic for imperative higher-order functions
- Evalquote in simple Fortran: A tutorial on interpreting Lisp
- scientific article; zbMATH DE number 3915496 (Why is no real title available?)
- Forward analysis and model checking for trace bounded WSTS
- An infinite hierarchy of intersections of context-free languages
- On the Petri net realization of context-free graphs
- Formula manipulations solving linear ordinary differential equations. I
- Das <scp>Kahan‐Babuškasche</scp> Summierungsverfahren in Triplex‐ ALGOL 60
- Aspects of reversibility for classical automata
- CAMAL 40 Years on – Is Small Still Beautiful?
- Annotated bibliography on partial evaluation and mixed computation
- scientific article; zbMATH DE number 3725674 (Why is no real title available?)
- A functional computation model for the duality of two-variable lambda-Boolean functions
- The computation of three-dimensional rolling contact with dry friction
- The equational logic of fixed points
- A theory for nondeterminism, parallelism, communication, and concurrency
- scientific article; zbMATH DE number 3551930 (Why is no real title available?)
- Equations over sets of integers with addition only
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- scientific article; zbMATH DE number 3688676 (Why is no real title available?)
- scientific article; zbMATH DE number 3415374 (Why is no real title available?)
- scientific article; zbMATH DE number 3416948 (Why is no real title available?)
- scientific article; zbMATH DE number 3420248 (Why is no real title available?)
- scientific article; zbMATH DE number 3421913 (Why is no real title available?)
- Pushdown cellular automata
- Substitution and bounded languages
- Solving linear systems on a vector computer
- A critical comparison of several programming language implementations
- An algorithm with ALGOL 60 program for the computation of the zeros of ordinary Bessel functions and those of their derivatives
- SATHE: Some aspects of an ALGOL implementation
This page was built for software: ALGOL 60
