@article{Jacopini-Sontacchi/90,
AUTHOR = {Jacopini, G. and Sontacchi, G.},
TITLE = {Reversible parallel computation: An evolving space-model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {1-46},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kroger/90,
AUTHOR = {Kr{\"o}ger, Fred},
TITLE = {On the interpretability of arithmetic in temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {47-60},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lavault/90,
AUTHOR = {Lavault, Christian},
TITLE = {Exact average message complexity values for distributed election on bidirectional rings of processors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {61-79},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Varricchio/90,
AUTHOR = {Varricchio, Stefano},
TITLE = {Factorizations of free monoids and unavoidable regularities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {81-89},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jerrum-Sinclair/90,
AUTHOR = {Jerrum, Mark and Sinclair, Alistair},
TITLE = {Fast uniform generation of regular graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {91-100},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Huwig-Poigne/90,
AUTHOR = {Huwig, Hagen and Poign{\'e}, Axel},
TITLE = {A note on inconsistencies caused by fixpoints in a cartesian closed category},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {101-112},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aiken/90,
AUTHOR = {Aiken, Alexander},
TITLE = {A theory of compaction-based parallelization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {121-154},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fuh-Mishra/90,
AUTHOR = {Fuh, You-chin and Mishra, Prateek},
TITLE = {Type inference with subtypes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {155-175},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Giegerich/90,
AUTHOR = {Giegerich, Robert},
TITLE = {Code selection by inversion of order-sorted derivors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {177-211},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Horwitz/90,
AUTHOR = {Horwitz, Susan},
TITLE = {Adding relational query facilities to software development environments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {213-230},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wadler/90,
AUTHOR = {Wadler, Philip},
TITLE = {Deforestation: Transforming programs to eliminate trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {231-248},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Beigel/90a,
AUTHOR = {Beigel, Richard},
TITLE = {Bi-immunity results for cheatable sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {249-263},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chen/90b,
AUTHOR = {Chen, Jian-er},
TITLE = {The difference between one tape and two tapes: with respect to reversal complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {265-278},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hoffmann-Main/90,
AUTHOR = {Hoffmann, Jochen and Main, Michael G.},
TITLE = {Results on NLC grammars with one-letter terminal alphabets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {279-294},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kim/90b,
AUTHOR = {Kim, Changwook},
TITLE = {Complexity and decidability for restricted classes of picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {295-311},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Robson/90a,
AUTHOR = {Robson, J.M.},
TITLE = {Strong time bounds: Non-computable bounds and a hierarchy theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {313-317},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bertossi-Luccio-Lodi-Pagli/90,
AUTHOR = {Bertossi, Alan A. and Luccio, Fabrizio and Lodi, Elena and Pagli, Linda},
TITLE = {String matching with weighted errors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {319-328},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Head/90,
AUTHOR = {Head, Tom},
TITLE = {The set of strings mapped into a submonoid by iterates of a morphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {329-333},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schmitt/90,
AUTHOR = {Schmitt, William},
TITLE = {Hopf algebras and identities in free partially commutative monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {335-340},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}