Band 13,
Heft 1/2,
Januar/Februar 1977
- Keijo Ruohonen:
On Circular Words and (omega* + omega)-Powers of Words.
3-12
- Ivan Korec, Juraj Procházka:
Real-Time Computability of integer part of (abs(alpha) x) and integer part of xalpha.
13-26
- Michael Heinz:
Zur Teilwortkomplexität für Wörter und Folgen über einem endlichen Alphabet.
27-38
- Hermann K.-G. Walter:
Über lineare Simulierbarkeit endlicher Automaten.
39-53
- Gunter Bär:
Ein Beitrag zur Transformation ganzzahliger Optimierungsprobleme.
55-60
- Klaus Fritzsch:
Über den Einsatz mehrstufiger Mehrschrittalgorithmen zur Lösung von Adaptionsproblemen.
61-77
- Mauro Bert:
A Formalization of the Transformation of Nested Declarations.
79-96
Band 13,
Heft 3,
März 1977
- Reinhard Kirchner:
Ein Verfahren zum Entwurf von asynchronen Schaltwerken mit flankenempfindlichen Speichergliedern.
109-124
- Thomas R. M. Fischer:
Über Verallgemeinerungen der Bongard-Entropie und Kodierungssätze für Quellen mit unbekanntem statistischen Verhalten.
125-135
- Joachim Machner, Karl Straßner:
Kongruenzverbände autonomer Semiautomaten.
137-146
- Peter H. Starke:
Correction to: On the Diagnoals of n-Regular Relations.
147-148
Band 13,
Heft 4/5,
April / Mai 1977
- Tero Harju:
A Polynomial Recognition Algorithm for the EDTOL Languages.
169-177
- Hans Kleine Büning, Thomas Ottmann:
Kleine universelle mehrdimensionale Turingmaschinen.
179-201
- Günter Asser:
Bemerkungen zum Labyrinth-Problem.
203-216
- Armin Hemmerling:
Vergleich einiger Kodierungen der natürlichen Zahlen bezüglich der regulären Entscheidbarkeit von Zahlenmengen.
217-230
- Karl-Adolf Zech:
Zum Entwurf prüfgünstiger Automaten nach Kohavi und Lavallee.
231-242
- Eberhard Lüdde:
Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie I.
243-269
Band 13,
Heft 6,
Juni 1977
- Günter Franke, Manfred Koegst:
Zum Testen und Komplettieren von asynchronen Automaten bezüglich Prellunempfindlichkeit.
281-294
- Armin Hemmerling:
Allgemeine Untersuchungen zur Entscheidbarkeit und Trennbarkeit bezüglich Kodierungen.
295-309
- Eberhard Lüdde:
Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie II.
311-327
Band 13,
Heft 7/8,
Juli / August 1977
Band 13,
Heft 9,
September 1977
- Jerzy Zurawiecki:
Properties of k-machines I.
449-454
- Grzegorz Rozenberg:
Selective Substitution Grammars (Towards a Framework for Rewriting Systems). Part 1: Definitions and Examples.
455-463
- Thomas Ottmann:
Lokale Simulierbarkeit zweidimensionaler Turingmaschinen.
465-471
- Klaus W. Wagner:
Eine topologische Charakterisierung einiger Klassen regulärer Folgenmengen.
473-487
Band 13,
Heft 10,
Oktober 1977
- Armin Hemmerling:
Zur verallgemeinerten Realisierbarkeit von Pseudomusterfunktionen durch Zellularräume.
523-528
- Jerzy Zurawiecki:
Properties of k-machines II.
529-534
- Achim Sydow:
A Contribution to the Analysis and Synthesis of Discrete-time Systems by Contraction Principle.
535-547
Band 13,
Heft 11,
November 1977
Band 13,
Heft 12,
Dezember 1977
- Wilfried Bergmann:
Modulare Programmier- und Programmlauftechnik. Dargestellt an der Programmiersprache ALGOL 60.
609-632
- Klaus Voss:
Hyperquader als kompakte Klassifikatoren.
633-642
- Georg Hallbauer:
Zustandskodierung mit gleichzeitiger Zustandsreduktion hinsichtlich eines möglichst geringen Logikaufwandes.
643-653
- Günter Hotz:
Space-Komplexität von klammerfreien Ausdrücken mit Typen.
655-657
Copyright © Mon Nov 16 23:20:12 2009
by Michael Ley (ley@uni-trier.de)
