researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: J. Comput. Syst. Sci.
Home
Index
Info
Volume
Volume
8
, Issue
3
272
--
314
David S. Johnson
.
Fast Algorithms for Bin Packing
315
--
332
Brenda S. Baker
,
Ronald V. Book
.
Reversal-Bounded Multipushdown Machines
333
--
365
Joseph A. Goguen
.
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs
366
--
386
Allan Borodin
,
R. Moenck
.
Fast Modular Transforms
387
--
408
A. J. Kfoury
.
Translatability of Schemas over Restricted Interpretations
409
--
439
T. S. E. Maibaum
.
A Generalized Approach to Formal Languages
Volume
8
, Issue
2
117
--
141
Yaacov Choueka
.
Theories of Automata on omega-Tapes: A Simplified Approach
142
--
157
Nabil A. Khabbaz
.
A Geometric Hierarchy of Languages
158
--
166
Armin B. Cremers
,
Otto Mayer
.
On Vector Languages
167
--
189
Yoshihide Igarashi
,
Namio Honda
.
Deterministic Multitape Automata Computations
190
--
219
Patrick C. Fischer
,
John C. Warkentin
.
Predecessor Machines
220
--
237
Edward K. Blum
,
Garry H. Rodrigue
.
Solution of Eigenvalue Problems in Hilbert Spaces by a Gradient Method
238
--
242
György E. Révész
.
Comment on the Paper Error Detection in Formal Languages
243
--
269
Seymour Ginsburg
,
Gene F. Rose
.
The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors
Volume
8
, Issue
1
1
--
7
S. J. Walljasper
.
Left-Derivation Bounded Languages
8
--
21
Johnson M. Hart
.
Ambiguity and Decision Problems for Local Adjunct Languages
22
--
35
Richard S. Bird
.
On Transformations of Programs
36
--
40
J. P. Crestin
.
Structure des Grammaires d Ambiguïté Bornée
41
--
70
Ratan K. Guha
,
Raymond T. Yeh
.
On Periodicity of Sequential Machines
71
--
83
Harry R. Lewis
.
Program Schemata and the First-Order Decision Problem
84
--
116
Toshihide Ibaraki
.
Classes of Discrete Optimization Problems and Their Decision Problems