default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJCSS, Volume 17
Volume 17, Number 1, August 1978
- Yasuyoshi Inagaki, Toshiki Sakabe, Teruo Fukumura:
Addressable Approximations to Nonaddressable Data Graphs. 1-34 - Anita K. Jones, Richard J. Lipton:
The Enforcement of Security Policies for Computation. 35-55 - Seth Breidbart:
On Splitting Recursive Sets. 56-64 - Masami Ito:
A Representation of Strongly Connected Automata and its Applications. 65-80 - Yaacov Choueka:
Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes. 81-97 - Carlton J. Maxson, Kirby C. Smith:
Endomorphisms of Linear Automata. 98-107 - William F. McColl:
The Circuit Depth of Symmetric Boolean Functions. 108-115 - Stephen J. Hegner:
Duality Theory for Discrete-Time Linear Systems. 116-143
Volume 17, Number 2, October 1978
- Nicholas Pippenger:
On Rearrangeable and Non-Blocking Switching Networks. 145-162 - Karel Culík II, Arto Salomaa:
On the Decidability of Homomorphism Equivalence for Languages. 163-175 - Ulrich Golze:
(A-)Synchronous (Non-)Deterministic Cell Spaces Simulating Each Other. 176-193 - Bernd Reusch:
Realization of Finite Automata with Linear Parts. 194-206 - Suhir Aggarwal:
A Note on 'Indecomposable Parallel Maps' by S. Amoroso, and I. J. Epstein. 207-208 - Gordon D. Plotkin:
T^omega as a Universal Domain. J. Comput. Syst. Sci. 17(2): 209-236 (1978) - Lutz Priese:
A Note on Asynchronous Cellular Automata. 237-252 - Dan Moore, John Case:
The Complexity of Total Order Structures. 253-269 - Claudio L. Lucchesi, Sylvia L. Osborn:
Candidate Keys for Relations. 270-279
Volume 17, Number 3, December 1978
- K. N. King, Celia Wrathall:
Stack Languages and log n Space. 281-299 - Kojiro Kobayashi:
The Firing Squad Synchronization Problem for a Class of Polyautomata Networks. 300-318 - T. S. E. Maibaum:
Pumping Lemmas for Term Languages. 319-330 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On the Structure of Derivations in Deterministic ET0L Systems. 331-347 - Robin Milner:
A Theory of Type Polymorphism in Programming. 348-375 - Tadao Takaoka:
A Definition of Measures over Language Space. 376-387 - Bruno Courcelle, Irène Guessarian:
On Some Classes of Interpretations. 406-431 - Moshe Rabinovitz:
Closure Properties and Languages Defined by Bilinear Automata. 432-441
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-16 11:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
