Elektronische Informationsverarbeitung und Kybernetik, Band 13

Band 13, Heft 1/2, Januar/Februar 1977

• Keijo Ruohonen: On Circular Words and (omega^* + omega)-Powers of Words. 3-12 BibTeX
• Ivan Korec, Juraj Procházka: Real-Time Computability of integer part of (abs(alpha) x) and integer part of x^alpha. 13-26 BibTeX
• Michael Heinz: Zur Teilwortkomplexität für Wörter und Folgen über einem endlichen Alphabet. 27-38 BibTeX
• Hermann K.-G. Walter: Über lineare Simulierbarkeit endlicher Automaten. 39-53 BibTeX
• Gunter Bär: Ein Beitrag zur Transformation ganzzahliger Optimierungsprobleme. 55-60 BibTeX
• Klaus Fritzsch: Über den Einsatz mehrstufiger Mehrschrittalgorithmen zur Lösung von Adaptionsproblemen. 61-77 BibTeX
• Mauro Bert: A Formalization of the Transformation of Nested Declarations. 79-96 BibTeX

Band 13, Heft 3, März 1977

• Reinhard Kirchner: Ein Verfahren zum Entwurf von asynchronen Schaltwerken mit flankenempfindlichen Speichergliedern. 109-124 BibTeX
• Thomas R. M. Fischer: Über Verallgemeinerungen der Bongard-Entropie und Kodierungssätze für Quellen mit unbekanntem statistischen Verhalten. 125-135 BibTeX
• Joachim Machner, Karl Straßner: Kongruenzverbände autonomer Semiautomaten. 137-146 BibTeX
• Peter H. Starke: Correction to: On the Diagnoals of n-Regular Relations. 147-148 BibTeX

Band 13, Heft 4/5, April / Mai 1977

• Tero Harju: A Polynomial Recognition Algorithm for the EDTOL Languages. 169-177 BibTeX
• Hans Kleine Büning, Thomas Ottmann: Kleine universelle mehrdimensionale Turingmaschinen. 179-201 BibTeX
• Günter Asser: Bemerkungen zum Labyrinth-Problem. 203-216 BibTeX
• Armin Hemmerling: Vergleich einiger Kodierungen der natürlichen Zahlen bezüglich der regulären Entscheidbarkeit von Zahlenmengen. 217-230 BibTeX
• Karl-Adolf Zech: Zum Entwurf prüfgünstiger Automaten nach Kohavi und Lavallee. 231-242 BibTeX
• Eberhard Lüdde: Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie I. 243-269 BibTeX

Band 13, Heft 6, Juni 1977

• Günter Franke, Manfred Koegst: Zum Testen und Komplettieren von asynchronen Automaten bezüglich Prellunempfindlichkeit. 281-294 BibTeX
• Armin Hemmerling: Allgemeine Untersuchungen zur Entscheidbarkeit und Trennbarkeit bezüglich Kodierungen. 295-309 BibTeX
• Eberhard Lüdde: Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie II. 311-327 BibTeX

Band 13, Heft 7/8, Juli / August 1977

• Christian Choffrut: Applications séquentielles permutables. 351-357 BibTeX
• Joachim Biskup: Über Projektionsmengen von Komplexitätsmaßen. 359-368 BibTeX
• Rolf Wiehagen, Hermann Jung: Rekursionstheoretische Charakterisierung von erkennbaren Klassen rekursiver Funktionen. 385-397 BibTeX
• Georg Winterstein: Unification in Second Order Logic. 399-411 BibTeX
• Bhu Dev Sharma, Inder Jeet Taneja: Three Generalized-Additive Measures of Entropy. 419-433 BibTeX

Band 13, Heft 9, September 1977

• Jerzy Zurawiecki: Properties of k-machines I. 449-454 BibTeX
• Grzegorz Rozenberg: Selective Substitution Grammars (Towards a Framework for Rewriting Systems). Part 1: Definitions and Examples. 455-463 BibTeX
• Thomas Ottmann: Lokale Simulierbarkeit zweidimensionaler Turingmaschinen. 465-471 BibTeX
• Klaus W. Wagner: Eine topologische Charakterisierung einiger Klassen regulärer Folgenmengen. 473-487 BibTeX

Band 13, Heft 10, Oktober 1977

• Armin Hemmerling: Zur verallgemeinerten Realisierbarkeit von Pseudomusterfunktionen durch Zellularräume. 523-528 BibTeX
• Jerzy Zurawiecki: Properties of k-machines II. 529-534 BibTeX
• Achim Sydow: A Contribution to the Analysis and Synthesis of Discrete-time Systems by Contraction Principle. 535-547 BibTeX

Band 13, Heft 11, November 1977

• Hans Bäumler, Klaus-Dieter Wernecke, Josef Michel: Die diskrete Walsh-Transformation zur Spektralanalyse des Elektroencephalogramms (EEG) bei psychophysiologischen Untersuchungen. 561-570 BibTeX
• Andreas Brandstädt, Dietrich Saalfeld: Eine Hierarchie beschränkter Rückkehrberechnungen auf on-line Turingmaschinen. 571-583 BibTeX
• Jaak Henno: On the Complexity of Multiplaced Functions. 585-593 BibTeX
• Martti Penttonen: Szilard Languages are log n Tape Recognizable. 595-602 BibTeX

Band 13, Heft 12, Dezember 1977

• Wilfried Bergmann: Modulare Programmier- und Programmlauftechnik. Dargestellt an der Programmiersprache ALGOL 60. 609-632 BibTeX
• Klaus Voss: Hyperquader als kompakte Klassifikatoren. 633-642 BibTeX
• Georg Hallbauer: Zustandskodierung mit gleichzeitiger Zustandsreduktion hinsichtlich eines möglichst geringen Logikaufwandes. 643-653 BibTeX
• Günter Hotz: Space-Komplexität von klammerfreien Ausdrücken mit Typen. 655-657 BibTeX