@article{Ben-Ari/80a,
AUTHOR = {Ben-Ari, M.},
TITLE = {Comments on ``Tautology testing with a generalized matrix reduction method''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {341},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Dobkin-Reiss/80,
AUTHOR = {Dobkin, D.P. and Reiss, S.P.},
TITLE = {The complexity of linear programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {1-18},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bergstra-Klop/80,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {Invertible terms in the lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {19-37},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Staples/80b,
AUTHOR = {Staples, J.},
TITLE = {Speeding up subtree replacement systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {39-47},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pippenger/80b,
AUTHOR = {Pippenger, N.},
TITLE = {On another Boolean matrix},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {49-56},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bruss-Meyer/80,
AUTHOR = {Bruss, A.R. and Meyer, A.R.},
TITLE = {On time-space classes and their relation to the theory of real addition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {59-69},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Berman/80b,
AUTHOR = {Berman, L.},
TITLE = {The complexity of logical theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {71-77},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Morisaki-Sakai/80,
AUTHOR = {Morisaki, M. and Sakai, K.},
TITLE = {A complete axiom system for rational sets with multiplicity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {79-92},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kucera-Nesetril-Pultr/80,
AUTHOR = {Ku{\v{c}}era, L. and Ne{\v{s}}et{\v{r}}il, J. and Pultr, A.},
TITLE = {Complexity of dimension three and some related edge-covering characteristics of graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {93-106},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hotz/80,
AUTHOR = {Hotz, G.},
TITLE = {Eine neue Invariante f{\"u}r kontextfreie Sprachen},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {107-116},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Harary/80,
AUTHOR = {Harary, F.},
TITLE = {Graph theoretic models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {117-121},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Borger-Buning/80,
AUTHOR = {B{\"o}rger, E. and B{\"u}ning, H. Kleine},
TITLE = {The reachability problem for Petri nets and decision problems for Skolem arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {123-143},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rosenberg-Stockmeyer-Snyder/80,
AUTHOR = {Rosenberg, A.L. and Stockmeyer, L.J. and Snyder, L.},
TITLE = {Uniform data encodings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {145-165},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Beynon/80,
AUTHOR = {Beynon, W.M.},
TITLE = {On the structure of free finite state machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {167-180},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Arnold-Nivat/80a,
AUTHOR = {Arnold, A. and Nivat, M.},
TITLE = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {181-205},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bougaut/80,
AUTHOR = {Bougaut, B.},
TITLE = {Algorithme explicite pour la recherche du P.G.C.D. dans certains anneaux principaux d'entiers de corps de nombres},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {207-220},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Vauquelin-Franchi-Zannettacci/80,
AUTHOR = {Vauquelin, B. and Franchi-Zannettacci, P.},
TITLE = {Automates {\`a} file (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {221-225},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hennessy-Ashcroft/80,
AUTHOR = {Hennessy, M.C.B. and Ashcroft, E.A.},
TITLE = {A mathematical semantics for a nondeterministic typed $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {227-245},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Rosen/80,
AUTHOR = {Ehrig, H. and Rosen, B.K.},
TITLE = {Parallelism and concurrency of graph manipulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {247-275},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kozen/80b,
AUTHOR = {Kozen, D.},
TITLE = {Indexings of subrecursive classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {277-301},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Blum-Mehlhorn/80,
AUTHOR = {Blum, N. and Mehlhorn, K.},
TITLE = {On the average number of rebalancing operations in weight-balanced trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {303-320},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Heintz-Sieveking/80,
AUTHOR = {Heintz, J. and Sieveking, M.},
TITLE = {Lower bounds for polynomials with algebraic coefficients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {321-330},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{von_zur_Gathen-Strassen/80,
AUTHOR = {von zur Gathen, J. and Strassen, V.},
TITLE = {Some polynomials that are hard to compute (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {331-335},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Netto/80,
AUTHOR = {Netto, A.B.},
TITLE = {There are infinitely many complete prefix codes of constant length $l$ ($l \geq 3$) (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {11},
PAGES = {337-339},
YEAR = {1980},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}