@article{Troelstra/87,
AUTHOR = {Troelstra, A.S.},
TITLE = {On the syntax of Martin-Lof's type theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {1-26},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Math. Inst., Amsterdam Univ., Netherlands},
}
@article{Le_Chenadec/87,
AUTHOR = {Le Chenadec, P.},
TITLE = {Analysis of Dehn's algorithm by critical pairs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {27-52},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {INRIA, Domaine de Voluceau, Rocquencourt, Le Chesnay, France},
}
@article{Wagner/87a,
AUTHOR = {Wagner, K.W.},
TITLE = {More complicated questions about maxima and minima, and some closures of $NP$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {53-80},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. f{\"u}r Math., Augsburg Univ., Germany},
}
@article{Habel-Kreowski/87a,
AUTHOR = {Habel, A. and Kreowski, H.J.},
TITLE = {Characteristics of graph languages generated by edge replacement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {81-115},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fachbereich Math Inf., Bremen Univ., Germany},
}
@article{Beauquier-Gire/87,
AUTHOR = {Beauquier, J. and Gire, F.},
TITLE = {A note on the characterisation theorem for algebraic generators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {117-127},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. Inf. Theor. et Programmation, Picardie Univ., Amiens, France},
}
@article{Baeten-Bergstra-Klop/87,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A. and Klop, J.W.},
TITLE = {On the consistency of Koomen's fair abstraction rule},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {129-176},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Amsterdam Univ., Netherlands},
}
@article{Ambos-Spies-Fleischhack-Huwig/87,
AUTHOR = {Ambos-Spies, K. and Fleischhack, H. and Huwig, H.},
TITLE = {Diagonalizations over polynomial time computable sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {177-204},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lehrstuhl f{\"u}r Inf. II, Dortmund Univ., Germany},
}
@article{Orejas/87,
AUTHOR = {Orejas, F.},
TITLE = {A characterization of passing compatibility for parameterized specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {205-214},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fac. d'Inf., Univ. Politecnica de Catalunya, Barcelona, Spain},
}
@article{Carpi/87,
AUTHOR = {Carpi, A.},
TITLE = {On unambiguous reductions of monoids of unambiguous relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {215-220},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dipartimento di Matematica e Applicazioni, Napoli Univ., Italy},
}
@article{Vyskoc/87,
AUTHOR = {Vysko{\u{c}}, J.},
TITLE = {An $O(n^{\log k}2^{n/2})$ time and $O(k2^{n/k})$ space algorithm for certain $NP$-complete problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {221-227},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. of Tech. Cybern., Slovak Acad. of Sci., Bratislava, Czechoslovakia},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.~70, 274},
}
@article{Belaga/87,
AUTHOR = {Belaga, E.G.},
TITLE = {Constructive universal algebra: an introduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {229-238},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {IRMA-CNRS, Strasbourg, France},
}
@article{Parberry/87b,
AUTHOR = {Parberry, I.},
TITLE = {On the time required to sum $n$ semigroup elements on a parallel machine with simultaneous writes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {1-2},
PAGES = {239-247},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA},
}
@article{Head-Lando/87,
AUTHOR = {Head, T. and Lando, B.},
TITLE = {Bounded DL languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {255-264},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., Alaska Univ., Fairbanks, AK, USA},
}
@article{Homer-Long/87,
AUTHOR = {Homer, S. and Long, T.J.},
TITLE = {Honest polynomial degrees and P=?NP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {265-280},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Boston Univ., MA, USA},
}
@article{Berard/87,
AUTHOR = {Berard, B.},
TITLE = {Literal shuffle (formal languages)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {281-299},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yokomori/87,
AUTHOR = {Yokomori, T.},
TITLE = {On purely morphic characterizations of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {301-308},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Int. Inst. for Adv. Study of Social Inf. Sci., Fujitsu Ltd., Shizuoka, Japan},
}
@article{Yamasaki-Yoshida-Doshita/87,
AUTHOR = {Yamasaki, S. and Yoshida, M. and Doshita, S.},
TITLE = {A fixpoint semantics of Horn sentences based on substitution sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {309-324},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Inf. Sci., Kyoto Univ., Japan},
}
@article{Hromkovic/87,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Reversal-bounded nondeterministic multicounter machines and complementation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {325-330},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Theor. Cybern., Comenius Univ., Bratislava, Czechoslovakia},
}
@article{Beth/87,
AUTHOR = {Beth, T.},
TITLE = {On the computational complexity of the general discrete Fourier transform},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {331-339},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fak. f{\"u}r Inf., Karlsruhe Univ., Germany},
}
@article{Galil-Giancarlo/87,
AUTHOR = {Galil, Z. and Giancarlo, R.},
TITLE = {Parallel string matching with $k$ mismatches},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {51},
NUMBER = {3},
PAGES = {341-348},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Columbia Univ., New York, NY, USA},
}