| 1975 | Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, Poland, June 17-22, 1974, Proceedings Andrzej Blikle |
| 1974 | A Family of Algebraic Systems Related to the Theory of Equations on Free Monoids. Max Fontet |
| 1974 | A Lattice-Theoretical Approach to Problem-Solving. Jozef Kelemen |
| 1974 | Algebraic Models I. Hans-Jürgen Hoehnke |
| 1974 | An Approach to Correctness Proofs of Semicoroutines. Ole-Johan Dahl |
| 1974 | Bases of Paths in Correctness Proofs. Venelin K. Evtimov |
| 1974 | Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. Willem P. de Roever |
| 1974 | Classification of Programs of a SPC. Zbigniew W. Ras |
| 1974 | Combinatorial Aspects of Information Storage and Retrieval. Witold Lipski Jr. |
| 1974 | Complexity and Normal Forms of Contex-Free Languages. Alica Pirická |
| 1974 | Concurrent Programs. Józef Winkowski |
| 1974 | Continuous Simple Z-Machines, Z-Computable Functions and Sets of Functions of n Real Variables. Wojciech Zakowski |
| 1974 | Defining Languages by Mazurkiewicz Algorithms. W. A. Owsianiecka |
| 1974 | Factorizations, Congruences, and the Decomposition of Automata and Systems. Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1974 | Finite Automata Acceptation of Infinite Sequences. Klaus W. Wagner, Ludwig Staiger |
| 1974 | Finite Branching Automata: Automata Theory Motivated by Problem Solving. Ivan M. Havel |
| 1974 | Functions Computable in the Limit by Probabilistic Machines. R. V. Freivald |
| 1974 | Mathematical Foundations of Motivation Languages and Synthesis Maps. Pierangelo Miglioli |
| 1974 | Mathematical Methods of the Theory of Stochastic Automata. Alberto Bertoni |
| 1974 | Mathematical Model of Programs with Dynamic Allocation of Variables. Jacek Leszczylowski |
| 1974 | Models for Analysis of Races in Sequential Networks. Janusz A. Brzozowski, Michael Yoeli |
| 1974 | Modular Approach to the Logical Theory of Programs. Lech Banachowski |
| 1974 | On Configurations in Cellular Automata. Peter Mikulecký |
| 1974 | On Equivalence of Programs. Jacek Leszczylowski |
| 1974 | On Some Approximation Problems of Continuous Computation. Beata Konikowska |
| 1974 | On the Equivalence of Planar Grammars and Parallel Picture Processing Algorithms. Zenon Kulpa |
| 1974 | On the Periodic Sum and Extensions of Finite Automata. Jerzy W. Grzymala-Busse |
| 1974 | On the Quasi-Controllability of Automata. L. Beyga |
| 1974 | Procedures, Formal Computations and Models. Andrzej Salwicki |
| 1974 | Proving Programs by Sets of Computations. Andrzej Blikle |
| 1974 | R-Fuzzy Automata with a Time-Variant Structure. Wolfgang Wechler |
| 1974 | Sequential Functions and Generalized Moore and Mealy Automata. Jirí Becvár |
| 1974 | Set-Theoretic Properties of Programs in Stored Program Computers. W. Kwasowiec |
| 1974 | Simulation. Andrzej Skowron |
| 1974 | Some Properties of Limit Recursive Functions. Bernhard G. Goetze, Reinhard Klette |
| 1974 | Stretching by Probabilistic Tree Automata and Santos Grammars. Marek Karpinski |
| 1974 | Structured Programmability of Iterative Algorithms. Jacek Irlik |
| 1974 | Substring Languages. Jan Maluszynski |
| 1974 | The Algebraic Approach to the Theory of Computing Systems. Jerzy Tiuryn |
| 1974 | The Axiomatization Problem of a Theory of Linear Languages. Gerd Wechsung |
| 1974 | The Semantics of Semantic Equations. Peter D. Mosses |
| 1974 | Tow Down versus Bottom Up Syntax Analysis Revised. Jaroslav Král |
| 1974 | Towards an Understanding of Complex Processes. Piotr Dembinski |
| 1974 | Ultralinear Expressions. J. P. Crestin |
| 1974 | omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. Helena Rasiowa |