Linear and Context-Free Graph Grammars.
A New Search Algorithm for Finding the Simple Cycles of a Finite Directed Graph.
Addressless Units for Carrying Out Loop-Free Computations.
S-Semigroups of Automata.
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.
Theoretical Efficiency of the Edmonds-Karp Algorithm for Computing Maximal Flows.
Computational Complexity and the Existence of Complexity Gaps.
Fuzzy Logic and the Resolution Principle.
What Is Computer Science?
Service in a Loop System.
The Operator Gap.
Analysis of Graphs by Ordering of Nodes.
Memory Requirements in a Multiprocessing Environment.
Analysis of Two Time-Sharing Queueing Models.