| 1973 | A Note on Improving Input Strings for Paging Machines. Hans-Georg Stork |
| 1973 | An Algebraic Approach to Programs and Their Computations. Andrzej Blikle |
| 1973 | An Algebraic Characterization of Stochastic Finite-State Automata and Their Behaviour Functions. Herbert Küstner |
| 1973 | An Algebraic Model for Parallel Processes. J. Horejs |
| 1973 | Characterization of Programs and Their Synthesis from a Formalized Theory. Daniele Marini, Pierangelo Miglioli |
| 1973 | Combinatorial Problems III. Degrees of Combinatorial Problems of Computing Machines. John P. Cleave |
| 1973 | Computation and Deduction. Patrick J. Hayes |
| 1973 | Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines. Ivan Korec |
| 1973 | Computational Optimality of a Dynamic Programming Method. Jaroslav Morávek |
| 1973 | Concepts of Net Theory. C. A. Petri |
| 1973 | Conditional Metric Completeness of Finite Sets of Automata: A Criterion and an Algorithm (in Russian). A. A. Donis |
| 1973 | Construction and Properties of Context-Sensitive Grammars and Languages (in Russian). L. G. Samoilenko |
| 1973 | Constructions of Grammars for Formal Languages. Miroslav Novotný |
| 1973 | Decision Problems for Multihead Finite Automata. Philippe Flajolet, Jean-Marc Steyaert |
| 1973 | Descriptional Complexity of Context-Free Languages. Jozef Gruska |
| 1973 | Equations of Formal Power Series over Non Commutative Semiring. Alberto Bertoni |
| 1973 | Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. Karel Culík |
| 1973 | L-Systems: A Device in Biologically Motivated Automata Theory. Arto Salomaa |
| 1973 | Lower Bounds for the Product of Time and Space Requirements of Turing Machine Computations. Claus-Peter Schnorr |
| 1973 | Machines with Input and Output. Andrzej Skowron |
| 1973 | Mathematical Foundation of Information Retrieval. Zdzislaw Pawlak |
| 1973 | Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, Strbské Pleso, High Tatras, Czechoslovakia, September 3-8, 1973. |
| 1973 | Model Theoretical Methods in the Theory of Automata. Ferenc Gécseg |
| 1973 | Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators. Branislav Rovan |
| 1973 | On Changes of Input/Output Coding. Michal Chytil |
| 1973 | On Endomorphism Semigroup of Nilpotent Automata. I. Peák, N. Q. Khang |
| 1973 | On Families of Languages Defined by Time-Bounded Random Access Machines. Ivan Hal Sudborough, A. Zalcberg |
| 1973 | On Grammatical Complexity of Context-Free Languages (Extended Abstract). Wilfried Brauer |
| 1973 | On Ianov Schemas with One Memory Location. Klaus Indermark |
| 1973 | On Some Measures on Free Semigroups Induced by Semiautomata. Dan A. Simovici |
| 1973 | On Vector Languages. Armin B. Cremers, Otto Mayer |
| 1973 | On the Complexity of Countable Functions (Abstract). Miloslav Nekvinda |
| 1973 | On the Connectivity of the Periodic Sum of Automata. Jerzy W. Grzymala-Busse |
| 1973 | On the Formal Definition of Assembly Languages. B. Dömölki |
| 1973 | On the Problem of Finding Natural Computational Complexity Measures. Juris Hartmanis |
| 1973 | On the Sequential Relations of Time-Invariant Automata. Peter H. Starke |
| 1973 | Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. Willem P. de Roever |
| 1973 | Operators on Families of Languages. Maurice Nivat |
| 1973 | Relational Structures and Dynamics of Certain Discrete Systems. Václav Rajlich |
| 1973 | Semiboolean Algebras of Submachines. W. Bartol |
| 1973 | Some Logical Problems of Automated Research. Petr Hájek |
| 1973 | Some Results Concerning the Situation Calculus. Olga Stepánková, Ivan M. Havel |
| 1973 | Some Sources of Primitive Constructs in Programming Languages. Jaroslav Král |
| 1973 | Substitution and (Semi-)AFL. Seymour Ginsburg |
| 1973 | The Process Complexity and the Understanding of Sequences. Robert P. Daley |
| 1973 | Top-down Analysis of Programming Languages without Backtrack (in Russian). A. V. Anisimov |
| 1973 | Towards a Formal Definition of the Control in Structured Programs. Luigia Carlucci Aiello, Ugo Montanari |
| 1973 | Towards a Galois Theory of Algorithmic Problems. Erwin Engeler |
| 1973 | Towards a Theory of Inductive Inference (in Russian). Ya. M. Barzdin, K. M. Podineks |
| 1973 | Tree Transformations via Finite Recursive Transition Machines. Peter A. Ng, Raymond T. Yeh |
| 1973 | Turing Machine Recognition. Pavel Strnad |