| 1993 | A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. | Sabine Kuske |
| 1993 | Five Facets of Hyperedge Replacement Beyond Context-Freeness. | Hans-Jrg Kreowski |
| 1993 | Monotonically Labelled Ordered Trees and Multidimensional Binary Trees. | Rainer Kemp |
| 1993 | The Hierarchy of Codes. | Helmut Jrgensen, Stavros Konstantinidis |
| 1993 | Maximum Covering with D Cliques. | Klaus Jansen, Petra Scheffler, Gerhard J. Woeginger |
| 1993 | Dense and Disjunctive Properties of Languages. | Masami Ito |
| 1993 | On the Relation Between Firing Sequences and Processes of Petri Nets. | Dang Van Hung, Tran Van Dung |
| 1993 | On the Complexities of Linear LL(1) and LR(1) Grammars. | Markus Holzer, Klaus-Jrn Lange |
| 1993 | Easity Checked Self-Reducibility (Extended Abstract). | Lane A. Hemachandra, Riccardo Silvestri |
| 1993 | Generalized Topological Sorting in Linear Time. | Torben Hagerup, Martin Maas |
| 1993 | Does Transitivity Help? On the Complexity of Poset Properties. | Hans Dietmar Grger |
| 1993 | Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. | Mahesh Girkar, Robert Moll |
| 1993 | Approximations with Axis-Aligned Rectangles (Extended Abstract). | Paul Fischer, Klaus-Uwe Hffgen, Hanno Lefmann, Tomasz Luczak |
| 1993 | Finding Maximum Convex Polygons. | Paul Fischer |
| 1993 | Implementation of a Universal Unification Algorithm for Macro Tree Transducers. | Heinz Fabender |
| 1993 | Efficient Interpretation of State Charts. | Jrgen Ebert |
| 1993 | Undecidability of the Surjectivity Problem for 2D Cellular Automata: A Simplified Proof. | Bruno Durand |
| 1993 | Formal Languages Consisting of Primitive Words. | Pl Dmsi, Sndor Horvth, Masami Ito, Lszl Kszonyi, Masashi Katsura |
| 1993 | Simulations Between Different Models of Parallel Computers. | Martin Dietzfelbinger |
| 1993 | Rewriting, Mbius Functions and Semi-Commutations. | Volker Diekert |
| 1993 | Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement. | Bruno Courcelle |
| 1993 | Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. | Piotr Chrzastowski-Wachtel, Marek Raczunas |
| 1993 | Local Equational Logic. | Virgil Emil Cazanescu |
| 1993 | Translations Between Flowchart Schemes and Process Graphs. | Jan A. Bergstra, Gheorghe Stefanescu |
| 1993 | Decidability of Equivalence for Linear Letter to Letter To-down Tree Transducers. | Yves Andre, Francis Bossut |