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
13
, Issue
3
246
--
277
C. Raymond Perrault
.
Intercalation Lemmas for Tree Transducer Languages
278
--
285
Leslie G. Valiant
.
Graph-Theoretic Properties in computational Complexity
286
--
299
Alfred V. Aho
,
Jeffrey D. Ullman
.
Node Listings for Reducible Flow Graphs
300
--
317
Gary L. Miller
.
Riemann s Hypothesis and Tests for Primality
318
--
334
Harry B. Hunt III
,
Thomas G. Szymanski
.
Complexity Metatheorems for Context-Free Grammar Problems
335
--
379
Kellogg S. Booth
,
George S. Lueker
.
Testing for the Consecutive Ones Property, Interval Graphs, and Graph Planarity Using PQ-Tree Algorithms
Volume
13
, Issue
2
119
--
135
Robert M. Baer
,
Jan van Leeuwen
.
The Halting Problem for Linear Turing Assemblers
136
--
142
Serafino Amoroso
,
Irving J. Epstein
.
Indecomposable Parallel Maps in Tessellation Structures
143
--
152
Yukio Shibata
.
On the Structure of Abelian Automata
153
--
160
Oscar H. Ibarra
,
Chul E. Kim
.
A Useful Device for Showing the Solvability of Some Decision Problems
161
--
171
Akihiro Nozaki
.
Hazard Analysis of Asynchronous Circuits in Muller-Bartky s Sense
172
--
183
Richard Laing
.
Automaton Introspection
184
--
199
Arnold Schönhage
,
Mike Paterson
,
Nicholas Pippenger
.
Finding the Median
200
--
212
Stephen L. Bloom
.
Varieties of Ordered Algebras
213
--
222
Steve F. McCormick
.
Some Convergence Results on the Method of Gradients for Ax = lambda Bx
223
--
244
André Arnold
,
Max Dauchet
.
Un Théorème de Duplication pour les Forêts Algébriques
Volume
13
, Issue
1
1
--
24
James L. Peterson
.
Computation Sequence Sets
25
--
37
Stephen A. Cook
,
Ravi Sethi
.
Storage Requirements for Deterministic Polynomial Time Recognizable Languages
38
--
50
Kenichi Taniguchi
,
Tadao Kasami
.
A Result on the Equivalence Problem for Deterministic Pushdown Automata
51
--
68
Patrick C. Fischer
,
Edward L. Robertson
,
Lawrence V. Saxton
.
On the Sequential Nature of Functions
69
--
73
David P. Dobkin
.
A Nonlinear Lower Bound on Linear Search Tree Programs for Solving Knapsack Problems
74
--
89
Yoshifumi Masunaga
,
Shoichi Noguchi
,
Juro Oizumi
.
A Characterization of Automata and a Direct Product Decomposition
90
--
99
Grzegorz Rozenberg
,
Arto Salomaa
.
Context-Free Grammars with Graph-Controlled Tables
100
--
118
Nancy A. Lynch
.
Complexity-Class-Encoding Sets