Band 11,
Heft 1/2,
Januar/Februar 1975
- Phan Dinh Dieu:
On the complexity of the problem of state minimization for incompletely specified sequential automata.
3-17
- Gerd Wechsung:
Eine algebraische Charakterisierung der linearen Sprachen.
19-25
- Thomas Ottmann:
Eine universelle Turingmaschine mit zweidimensionalem Band, 7 Buchstaben und 2 Zuständen.
27-38
- Rolf Wiehagen:
Dechiffrierung von ND-Automaten.
39-60
- Herbert Küstner:
Algebren endlicher stochastischer Automaten und ihrer Verhaltensfunktionen I.
61-116
- Heinrich Hüfner:
Vier Algorithmen zur Informationsreduktion an fehlerbehafteten Punktfolgen.
117-130
Band 11,
Heft 3,
März 1975
Band 11,
Heft 4-6,
April - Juni 1975
- N. Joachim Lehmann:
Probleme und Bedeutung der Entwicklung von Programmierungssprachen.
200-206
- Hans Rohleder:
Über einige Probleme bei der mathematisch exakten Definition der Semantik einer Programmiersprache.
206-213
- Karl-Heinz Bachmann:
Automatensysteme und ihre Anwendung zur Definition von Programmierungssprachen.
214-220
- Wolfgang Kubisch:
Konstruktion von Akzeptoren für Programmiersprachen.
221-224
- Walter Pätzold:
Formal description of programming languages by transition functions.
224-228
- Walter Issel:
A method to formalize the semantics of programming languages.
228-239
- Walter Issel:
A model for PL/I-multitasking using a simulated time.
239-252
- Immo O. Kerner:
The two-level grammars for the definition of semantics.
252-257
- Jürgen Gruel, Günter Merbeth:
Formale Beschreibung der Syntax und Semantik von Programmiersprachen am Beispiel der Beschreibung einer Systemprogrammiersprache.
258-263
- Erno Farkas:
On the evaluation of nested partial functions.
264-267
- Andrzej Blikle:
Proving programs by delta-relations.
267-274
- Dieter Bär:
An Approach to Correctness Proofs of Programs.
274-282
- Józef Winkowski:
Concurrent Programs.
283-290
- Jan Maluszynski:
Regular Structures in Programming Languages.
290-295
- Peter Ruzicka:
Size Complexity of Context-free Languages.
296-299
- M. Iglewski, A. Krepski, M. Missala:
A PASCAL Compiler for CDC 6000 Computer and its Transferring to IBM 360/370 Computers.
352-359
- Jürgen Lötzsch:
Eine (realisierte) Metasprache zur Definition von Syntax und Semantik von Fachsprachen.
360-370
- Herbert Stoyan:
Comparison of two LISP-compilers: Standford versus DOS/ES-LISP.
371-375
- Günter Merbeth:
Eine Sprache zur Systemprogrammierung und ein Compilerkonzept für diese Sprache.
376-381
- Roland Strobel:
Top-down Analysis of Context-free Grammars with Ambiguous Parentheses.
381-385
- Hans Loeper, Mathias Horn, Wolfgang Nyderle:
Investigations on the Application of a Precedence-Controlled Syntactic Analysis Method to a Sublanguage of ALGOL 68.
385-392
- Wolfgang Otter:
Table Search Procedure Theory.
393-401
Band 11,
Heft 7/8,
Juli / August 1975
- Kurt Reinschke, Peter Schwarz:
Sensitivity analysis of linear and nonlinear network.
405-421
- Gerhard Lischke:
Flußbildmaße - Ein Versuch zur Definition natürlicher Kompliziertheitsmaße.
423-436
- Hans-Dietrich Hecker:
Eine Bemerkung zur Berechnungskompliziertheit auf Registermaschinen.
437-438
- Wolfgang Wechler:
Zur Verallgemeinerung des Theorems von Kleene-Schützenberger auf zeitvariable Automaten.
439-445
- Ute Höfle-Isphording:
Selbstdualität Boolescher Systemfunktionen.
447-458
- Zdzislaw Grodzki:
The Boolean Controlled Shift-Registers.
459-467
- Klaus Voss:
Digitalisierungseffekte in der Automatischen Bildverarbeitung.
469-477
- Günter Riedewald:
Die Grammatik syntaktischer Funktionen - eine andere Form der van Wijngaarden Grammatik.
479-487
- Bhu Dev Sharma, Raminder Singh Soni:
Additive and Non-Additive Measure of Information of Comparison and Information Improvement.
489-504
Band 11,
Heft 9,
September 1975
- Wolfgang Dauscha:
Zur Realisierbarkeit unendlicher stochastischer Automaten aus Zufallsgeneratoren und determinierten Automaten.
517-531
- Jirí Sústal:
epsilon-Äquivalenz der Anfangsverteilungen eines stochastischen Automaten.
533-544
- Helmut Jürgensen:
Einige Eigenschaften der Monoide von Akzeptoren und Ereignissen.
545-556
- Jürgen Dassow:
Über metrische Kleene-Vollständigkeit.
557-560
Band 11,
Heft 10-12,
Oktober - Dezember 1975
- Lothar Budach:
On the Solution of the Labyrinth Problem for Finite Automata.
661-672
- Gerd Wechsung:
Minimale und optimale Blumsche Maße.
673-679
- Wolfgang Wechler:
Automaten über Inputkategorien.
681-685
- Peter Müntefering:
Minimisierung von Typ-3-Grammatiken.
687-694
- Anatolij W. Anissimow, Franz D. Seifert:
Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen.
695-702
- Reinhard Pöschel:
Zur Charakterisierung spezieller superpositionsabgeschlossener Funktionenklassen, die der Durchschnitt einer absteigenden Kette sind, durch invariante Relationen.
703-708
Copyright © Sun Nov 15 05:36:12 2009
by Michael Ley (ley@uni-trier.de)
