Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 30 results in range #1 to #30.

On the computation time of certain classes of boolean functions: Label: en
A unifying framework for the theory of iterative arrays of machines: Label: en
On the problem of computational time and complexity of arithmetic functions: Label: en
The logical complexity of geometric properties in the plane: Label: en
Deterministic simulation of non-deterministic turing machines (Detailed Abstract): Label: en
Pushdown store machines and real-time computation: Label: en
Variations on pushdown machines (Detailed Abstract): Label: en
Towards a theory of semantics and compilers for programming languages: Label: en
Formal models for some features of programming languages: Label: en
Formalization of properties of recursively defined functions: Label: en
Efficient LR(1) processor construction: Label: en
Some properties of precedence languages: Label: en
Properties of deterministic top down grammars: Label: en
Languages in general algebras: Label: en
Computability over arbitrary fields: Label: en
Context-free grammars on trees: Label: en
Transformations and translations from the point of view of generalized finite automata theory: Label: en
Free groups and regular expressions: Label: en
Translations on a context free grammar: Label: en
Speed-ups by changing the order in which sets are enumerated (Preliminary Version): Label: en
Classes of computable functions defined by bounds on computation: Label: en
On minimal-program complexity measures: Label: en
On classes of computable functions: Label: en
On effective procedures for speeding up algorithms: Label: en
Intercalation theorems for stack languages: Label: en
Abstract families of deterministic languages: Label: en
The inherent ambiguity partial algorithm problem for context free languages: Label: en
Quasi-realtime languages (Extended Abstract): Label: en
Abstract families of processors: Label: en
Context-sensitive immediate constituent analysis---context-free languages revisited: Label: en