@article{Perl-Zaks/82,
AUTHOR = {Perl, Y. and Zaks, S.},
TITLE = {On the complexity of edge labelings for trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {1-16},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra-Leininger-Moran/82,
AUTHOR = {Ibarra, O.H. and Leininger, B.S. and Moran, S.},
TITLE = {On the complexity of simple arithmetic expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {17-28},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Culik-Salomaa/82,
AUTHOR = {Culik II, K. and Salomaa, A.},
TITLE = {On infinite words obtained by iterating morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {29-38},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Grigoriev/82,
AUTHOR = {Grigoriev, D.Yu.},
TITLE = {Additive complexity in directed computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {39-67},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sethi/82a,
AUTHOR = {Sethi, R.},
TITLE = {Pebble games for studying storage sharing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {69-84},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Cardon-Chrochemore/82,
AUTHOR = {Cardon, A. and Chrochemore, M.},
TITLE = {Partitioning a graph in $O(|A|\log^2|V|)$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {85-98},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Holcombe/82,
AUTHOR = {Holcombe, M.},
TITLE = {On the holonomy decomposition of transformation semigroups (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {99-104},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ito-Nishitani/82,
AUTHOR = {Ito, T. and Nishitani, Y.},
TITLE = {On universality of concurrent expressions with synchronization primitives (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {105-115},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Padawitz/82,
AUTHOR = {Padawitz, P.},
TITLE = {Graph grammars and operational semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {117-141},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Paredaens/82,
AUTHOR = {Paredaens, J.},
TITLE = {A universal formalism to express decompositions, functional dependencies and other constraints in a relational database},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {143-160},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lewis-Papadimitriou/82,
AUTHOR = {Lewis, Harry R. and Papadimitriou, Christos H.},
TITLE = {Symmetric space-bounded computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {161-187},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Frederickson-JaJa/82,
AUTHOR = {Frederickson, G.N. and Ja'Ja, J.},
TITLE = {On the relationship between the biconnectivity augmentation and travelling salesman problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {189-201},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yao/82d,
AUTHOR = {Yao, A.C.-C.},
TITLE = {On the time-space tradeoff for sorting with linear queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {203-218},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra/82,
AUTHOR = {Ibarra, O.H.},
TITLE = {2DST mappings on languages and related problems (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {219-227},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Book-Jantzen-Wrathall/82,
AUTHOR = {Book, R.V. and Jantzen, M. and Wrathall, C.},
TITLE = {Monadic Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {231-251},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Reischuk/82,
AUTHOR = {Reischuk, K.R.},
TITLE = {A fast implementation of a multidimensional storage into a tree storage},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {253-266},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Atzeni-Ausiello-Batini-Moscarini/82,
AUTHOR = {Atzeni, P. and Ausiello, G. and Batini, C. and Moscarini, M.},
TITLE = {Inclusion and equivalence between relational database schemata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {267-285},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Selman/82,
AUTHOR = {Selman, A.L.},
TITLE = {Reductions on $NP$ and $P$-selective sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {287-304},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Szwerinski/82,
AUTHOR = {Szwerinski, H.},
TITLE = {Time-optimal solution of the firing-squad-synchronization problem for $N$-dimensional rectangles with the general at an arbitrary position},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {305-320},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Snir/82a,
AUTHOR = {Snir, M.},
TITLE = {Comparisons between linear functions can help},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {321-330},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hodgson/82,
AUTHOR = {Hodgson, B.R.},
TITLE = {On direct products of automaton decidable theories (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {331-335},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Megiddo/82,
AUTHOR = {Megiddo, N.},
TITLE = {Is binary encoding appropriate for the problem-language relationship? (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {19},
PAGES = {337-341},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}