@article{Stoss/89,
AUTHOR = {Sto{\ss}, Hans-J{\"o}rg},
TITLE = {On the representation of rational functions of bounded complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {1-13},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stoss/89a,
AUTHOR = {Sto{\ss}, Hans-J{\"o}rg},
TITLE = {Lower bounds for the complexity of polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {15-23},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jojczyk-Konieczny-Kuzak/89,
AUTHOR = {Jojczyk, K. and Konieczny, J. and Kuzak, T.},
TITLE = {On interleaving behaviour of PT-nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {25-38},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tomita-Seino/89,
AUTHOR = {Tomita, Etsuji and Seino, Kazushi},
TITLE = {A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {39-53},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sato/89,
AUTHOR = {Sato, Hiroyuki},
TITLE = {E-CCC: Between CCC and topos},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {55-66},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hung-Knuth/89,
AUTHOR = {Hung, Dang Van and Knuth, El{\"o}d},
TITLE = {Semi-commutations and Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {67-81},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Shamir-Schuster/89,
AUTHOR = {Shamir, Eli and Schuster, Assaf},
TITLE = {Communication aspects of networks based on geometric incidence relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {83-96},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hindley/89,
AUTHOR = {Hindley, J. Roger},
TITLE = {BCK-combinators and linear $\gamma$-terms have types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {97-105},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galil-Giancarlo/89,
AUTHOR = {Galil, Zvi and Giancarlo, Raffaele},
TITLE = {Speeding up dynamic programming with applications to molecular biology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {107-118},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Protasi-Talamo/89,
AUTHOR = {Protasi, Marco and Talamo, Maurizio},
TITLE = {On the number of arithmetical operations for finding Fibonacci numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {119-124},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Korach-Moran-Zaks/89,
AUTHOR = {Korach, E. and Moran, S. and Zaks, S.},
TITLE = {Optimal lower bounds for some distributed algorithms for a complete network of processors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {125-132},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kruskal-Rudolph-Snir/89,
AUTHOR = {Kruskal, Clyde P. and Rudolph, Larry and Snir, Marc},
TITLE = {Techniques for parallel manipulation of sparse matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {135-157},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Robert-Trystram/89,
AUTHOR = {Robert, Yves and Trystram, Denis},
TITLE = {Optimal scheduling algorithms for parallel Gaussian elimination},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {159-173},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lyon/89,
AUTHOR = {Lyon, Gordon},
TITLE = {Design factors for parallel processing benchmarks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {175-189},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bermond-Fourneau/89,
AUTHOR = {Bermond, J.C. and Fourneau, J.M.},
TITLE = {Independent connections: An easy characterization of baseline-equivalent multistage interconnection networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {191-201},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Akyldiz-Brand/89,
AUTHOR = {Akyldiz, I.F. and Brand, H. von},
TITLE = {Exact solutions for open, closed and mixed queueing networks with rejection blocking},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {203-219},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stark/89,
AUTHOR = {Stark, Eugene W.},
TITLE = {Concurrent transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {221-269},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Therien/89,
AUTHOR = {Therien, Denis},
TITLE = {Programs over aperiodic monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {271-280},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mazurkiewicz-Ochmanski-Penczek/89,
AUTHOR = {Mazurkiewicz, Antoni and Ochma{\'n}ski, Edward and Penczek, Wojciech},
TITLE = {Concurrent systems and inevitability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {281-304},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Howell-Rosier/89,
AUTHOR = {Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Problems concerning fairness and temporal logic for conflict-free Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {305-329},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Alon-Zwick/89,
AUTHOR = {Alon, Noga and Zwick, Uri},
TITLE = {On Ne{\v{c}}iporuk's theorem for branching programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {331-342},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kleine_Buning-Lettmann-Mayr/89,
AUTHOR = {Kleine B{\"u}ning, Hans and Lettmann, Theodor and Mayr, Ernst W.},
TITLE = {Projections of vector addition system reachability sets are semilinear},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {64},
PAGES = {343-350},
YEAR = {1989},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}