@article{Schnorr-Wiele/80,
AUTHOR = {Schnorr, C.P. and Wiele, J.P. van de},
TITLE = {On the additive complexity of polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {1-18},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Brzozowski-Liess/80,
AUTHOR = {Brzozowski, J.A. and Liess, E.},
TITLE = {On equations for regular languages, finite automata and sequential networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {19-35},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kurka/80,
AUTHOR = {K{\r{u}}rka, P.},
TITLE = {Applicability of a production in a categorical grammer},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {37-44},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Rozenberg/80,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Every two equivalent DOL systems have a regular true envelope},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {45-52},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmann-Schuster/80,
AUTHOR = {Hartmann, W. and Schuster, P.},
TITLE = {Multiplicative comlexity of some rational functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {53-61},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Zaks/80,
AUTHOR = {Zaks, S.},
TITLE = {Lexicographic generation of ordered trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {63-82},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schnorr/80,
AUTHOR = {Schnorr, C.P.},
TITLE = {A 3$n$-lower bound on the network complexity of Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {83-92},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Biskup/80,
AUTHOR = {Biskup, J.},
TITLE = {Inferences of multivalued dependencies in fixed and undetermined universes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {93-105},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Prodinger/80,
AUTHOR = {Prodinger, H.},
TITLE = {On the interpolation of DOL-sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {1},
PAGES = {107-108},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fortune-Hopcroft-Wyllie/80,
AUTHOR = {Fortune, S. and Hopcroft, J. and Wyllie, J.},
TITLE = {The directed subgraph homeomorphism problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {111-121},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lieberherr/80,
AUTHOR = {Lieberherr, K.},
TITLE = {P-optimal heuristics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {123-131},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wiedmer/80,
AUTHOR = {Wiedmer, E.},
TITLE = {Computing with infinite objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {133-155},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Luca-Restivo/80,
AUTHOR = {de Luca, A. and Restivo, A.},
TITLE = {On some properties of very pure codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {157-170},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Staples/80,
AUTHOR = {Staples, J.},
TITLE = {Computation on graph-like expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {171-185},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Havel/80,
AUTHOR = {Havel, I.M.},
TITLE = {On branching and looping, Part I},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {2},
PAGES = {187-220},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kozen/80a,
AUTHOR = {Kozen, D.},
TITLE = {Complexity of Boolean algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {221-247},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Cohen-Gold/80,
AUTHOR = {Cohen, R.S. and Gold, A.Y.},
TITLE = {On the complexity of $\omega$-type Turing acceptors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {249-272},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Havel/80a,
AUTHOR = {Havel, I.M.},
TITLE = {On branching and looping, Part II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {273-295},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Staples/80a,
AUTHOR = {Staples, J.},
TITLE = {Optimal evaluations of graph-like expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {297-316},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{King/80,
AUTHOR = {King, K.N.},
TITLE = {Iteration theorems for families of strict deterministic languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {317-333},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sipser/80a,
AUTHOR = {Sipser, M.},
TITLE = {Halting space-bounded computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {10},
NUMBER = {3},
PAGES = {335-338},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}