@article{Horvath-Ramon/10,
AUTHOR = {Horv{\'a}th, Tam{\'a}{\v{s}} and Ramon, Jan},
TITLE = {Efficient frequent connected subgraph mining in graphs of bounded tree-width},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {411},
NUMBER = {31-33},
PAGES = {2784-2797},
YEAR = {2010},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {listing algorithms, frequent patterns, tree-width, graph mining, data mining},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4YRPDYB-1/2/cb6ff0a79d653fa4a8103502f0eb1987},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wagner/87,
AUTHOR = {Wagner, E.G.},
TITLE = {A categorical treatment of pre- and post-conditions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {3-24},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
}
@article{File/87,
AUTHOR = {Fil{\'e}, G.},
TITLE = {Classical and incremental attribute evaluation by means of recursive procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {25-65},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {CNRS, Bordeaux I Univ., Talence, France},
}
@article{Frutos_Escrig/87,
AUTHOR = {Frutos Escrig, D.},
TITLE = {Probabilistic Ianov's schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {67-97},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. de Inf. y Autom., Fac. de Matematicas, Univ. Complutense, Madrid, Spain},
}
@article{Louchard/87,
AUTHOR = {Louchard, G.},
TITLE = {Random walks, Gaussian processes and list structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {99-124},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. d'Inf. Theorique, Univ. Libre de Bruxelles, Belgium},
}
@article{Pelin-Gallier/87,
AUTHOR = {Pelin, A. and Gallier, J.H.},
TITLE = {Building exact computation sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {125-150},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., Florida Int. Univ., Miami, FL, USA},
}
@article{Pettorossi/87,
AUTHOR = {Pettorossi, A.},
TITLE = {Derivation of efficient programs for computing sequences of actions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {1},
PAGES = {151-167},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Istituto di Analisi dei Sistemi ed Inf., CNR, Rome, Italy},
}
@article{Attiya-Mansour/87,
AUTHOR = {Attiya, H. and Mansour, Y.},
TITLE = {Language complexity on the synchronous anonymous ring},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {169-185},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Hebrew Univ., Jerusalem, Israel},
}
@article{Litovsky-Timmerman/87,
AUTHOR = {Litovsky, I. and Timmerman, E.},
TITLE = {On generators of rational $\omega$-power languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {187-200},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {CNRS, Lille I Univ., Villeneuve d'Ascq., France},
}
@article{Schnorr/87,
AUTHOR = {Schnorr, C.P.},
TITLE = {A hierarchy of polynomial time lattice basis reduction algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {201-224},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fachbereich Math./Inf., Frankfurt Univ., Germany},
}
@article{Abramsky/87,
AUTHOR = {Abramsky, S.},
TITLE = {Observation equivalence as a testing equivalence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {225-241},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput., Imperial Coll. of Sci. \& Technol., London, UK},
}
@article{esik-Gecseg/87,
AUTHOR = {{\'e}sik, Z. and Gecseg, F.},
TITLE = {On a representation of tree automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {243-255},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Bolyai Inst. A. Jozsef Univ., Szeged, Hungary},
}
@article{Muller-Brandstadt/87,
AUTHOR = {M{\"u}ller, H. and Brandst{\"a}dt, A.},
TITLE = {The $NP$-completeness of Steiner tree and dominating set for chordal bipartite graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {257-265},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Sektion Math., Friedrich-Schiller-Univ., Jena, East Germany},
}
@article{Beynon-Buckle/87,
AUTHOR = {Beynon, M. and Buckle, J.},
TITLE = {On the planar monotone computation of Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {267-279},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Warwick Univ., Coventry, UK},
}
@article{Peleg-Upfal/87,
AUTHOR = {Peleg, D. and Upfal, E.},
TITLE = {The generalized packet routing problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {281-293},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Stanford Univ., CA, USA},
}
@article{Rytter-Giancarlo/87,
AUTHOR = {Rytter, W. and Giancarlo, R.},
TITLE = {Optimal parallel parsing of bracket languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {295-306},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Warwick Univ., Coventry, UK},
}
@article{Garzon/87,
AUTHOR = {Garzon, M.},
TITLE = {Cyclic automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {307-317},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Illinois Univ., Urbana, IL, USA},
}
@article{Nishida-Kobuchi/87,
AUTHOR = {Nishida, T. and Kobuchi, Y.},
TITLE = {Repeatable words for substitution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {319-333},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Biophys., Fac. of Sci., Kyoto Univ., Japan},
}
@article{Hallnas/87,
AUTHOR = {Hallnas, L.},
TITLE = {An intensional characterization of the largest bisimulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {335-343},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Swedish Inst. of Comput. Sci., Spanga, Sweden},
}
@article{Santoro-Sidney-Sidney-Urrutia/87,
AUTHOR = {Santoro, N. and Sidney, J.B. and Sidney, S.J. and Urrutia, J.},
TITLE = {Geometric containment and vector dominance},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {53},
NUMBER = {2-3},
PAGES = {345-352},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada},
}
@article{Zaionc/87,
AUTHOR = {Zaionc, M.},
TITLE = {Word operation definable in the typed lambda -calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {1-14},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comp. \& Inf. Sci., Alabama Univ., Birmingham, AL, USA},
}
@article{Ko/87b,
AUTHOR = {Ko, K.I.},
TITLE = {On helping by robust oracle machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {15-36},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA},
}
@article{Kennaway/87,
AUTHOR = {Kennaway, R.},
TITLE = {On 'On graph rewritings'},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {37-58},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Sch. of Inf. Syst., East Anglia Univ., Norwich, UK},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.~61, 317-320},
}
@article{Sakarovitch/87,
AUTHOR = {Sakarovitch, J.},
TITLE = {On regular trace languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {59-75},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. d'Inf. Theorique et Programmation, Paris VI Univ., France},
}
@article{von_zur_Gathen/87a,
AUTHOR = {von zur Gathen, Joachim},
TITLE = {Factoring polynomials and primitive elements for special primes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1/2},
PAGES = {77-89},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Toronto Univ., Ont., Canada},
}
@article{Seite/87,
AUTHOR = {Seite, B.},
TITLE = {A Yacc extension for LRR grammar parsing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {91-143},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mundici/87,
AUTHOR = {Mundici, D.},
TITLE = {Satisfiability in many-valued sentential logic is $NP$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {145-153},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Math. Inst., Florence Univ., Firenze, Italy},
}
@article{Spirakis/87a,
AUTHOR = {Spirakis, P.},
TITLE = {The parallel complexity of deadlock detection},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {155-163},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Courant Inst. of Math. Sci., New York, NY, USA},
}
@article{Moriya/87,
AUTHOR = {Moriya, T.},
TITLE = {Topological characterizations of infinite tree languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {1-2},
PAGES = {165-171},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Comput. Center, Kokushikan Univ., Tokyo, Japan},
}
@article{Kim-Sudborough/87,
AUTHOR = {Kim, C. and Sudborough, I.H.},
TITLE = {The membership and equivalence problems for picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {177-191},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Sch. of Electr. Eng. \& Comput. Sci., Oklahoma Univ., Norman, OK, USA},
}
@article{Marberg-Gafni/87,
AUTHOR = {Marberg, J.M. and Gafni, E.},
TITLE = {Distributed sorting algorithms for multi-channel broadcast networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {193-203},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput Sci., California Univ., Los Angeles, CA, USA},
}
@article{Felleisen-Friedman-Kohlbecker-Duba/87,
AUTHOR = {Felleisen, M. and Friedman, D.P. and Kohlbecker, E. and Duba, B.},
TITLE = {A syntactic theory of sequential control},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {205-237},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA},
}
@article{Nigmatullin/87,
AUTHOR = {Nigmatullin, R.G.},
TITLE = {Models of lower-bounds proofs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {239-249},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Kazan State Univ., USSR},
}
@article{Balcazar-Diaz-Gabarro/87,
AUTHOR = {Balc{\'a}zar, J.L. and D{\'i}az, J. and Gabarr{\'o}, J.},
TITLE = {On characterizations of the class PSPACE/poly},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {251-267},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fac. d'Inf. de Barcelona, Spain},
}
@article{Gelenbe-Finkel/87,
AUTHOR = {Gelenbe, E. and Finkel, D.},
TITLE = {Stationary deterministic flows. II. The single-server queue},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {269-280},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. d'Inf. des Syst. Exp. et de leur Modelisation, Univ. de Paris Sud, Orsay, France},
}
@article{Topor/87,
AUTHOR = {Topor, R.W.},
TITLE = {Domain-independent formulas and databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {281-306},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia},
}
@article{Stefanescu/87a,
AUTHOR = {Stefanescu, G.},
TITLE = {On flowchart theories. II. The nondeterministic case},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {307-340},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Nat. Inst. for Sci. \& Tech. Creation, Bucharest, Romania},
}
@article{Brandenburg/87a,
AUTHOR = {Brandenburg, F.J.},
TITLE = {Comments on 'Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages'},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {52},
NUMBER = {3},
PAGES = {341-342},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lehrstuhl f{\"u}r Inf., Passau Univ., Germany},
}
@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},
}
@article{Girard/87,
AUTHOR = {Girard, J.-Y.},
TITLE = {Linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {1},
PAGES = {1-102},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Paris VII Univ., France},
}
@article{Gray/87,
AUTHOR = {Gray, J.W.},
TITLE = {Categorical aspects of data type constructors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {103-135},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Illinois Univ., Urbana-Champaign, IL, USA},
}
@article{Bergstra-Tucker/87,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Algebraic specifications of computable and semicomputable data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {137-181},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Amsterdam Univ., Netherlands},
}
@article{Mazoyer/87,
AUTHOR = {Mazoyer, J.},
TITLE = {A six-state minimal time solution to the firing squad synchronization problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {2},
PAGES = {183-238},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. de Math. et d'Inf., Univ. Claude Bernard, Villeurbanne, France},
}
@article{Phillips/87,
AUTHOR = {Phillips, I.},
TITLE = {Refusal testing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {241-284},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput., Imperial Coll. of Sci. \& Technol., London, UK},
}
@article{Sain/87,
AUTHOR = {Sain, I.},
TITLE = {Total correctness in nonstandard logics of programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {285-321},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Math. Inst., Hungarian Acad. of Sci., Budapest, Hungary},
}
@article{Wagner-Ehrig/87,
AUTHOR = {Wagner, E.G. and Ehrig, H.},
TITLE = {Canonical constraints for parameterized data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {50},
NUMBER = {3},
PAGES = {323-349},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
}
@article{Takahashi/87,
AUTHOR = {Takahashi, M.},
TITLE = {Brzozowski hierarchy of $\omega$-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {1-12},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Inf. Sci., Tokyo Inst. of Technol., Japan},
}
@article{Squier/87,
AUTHOR = {Squier, C.C.},
TITLE = {Units of special Church-Rosser monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {13-22},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math. Sci., State Univ. of New York, Binghamton, NY, USA},
}
@article{Parchmann-Duske/87,
AUTHOR = {Parchmann, R. and Duske, J.},
TITLE = {Grammars, derivation modes and properties of indexed and type-0 languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {23-42},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. f{\"u}r Inf., Hannover Univ., Germany},
}
@article{Oyamaguchi/87,
AUTHOR = {Oyamaguchi, M.},
TITLE = {The Church-Rosser property for ground term-rewriting systems is decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {43-79},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fac. of Eng., Mie Univ., Tsu, Japan},
}
@article{Guibas-Stolfi-Clarkson/87,
AUTHOR = {Guibas, Leo J. and Stolfi, Jorge and Clarkson, Kenneth L.},
TITLE = {Solving related two- and three-dimensional linear programming problems in logarithmic time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {81-84},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Xerox PARC, Palo Alto, CA, USA},
}
@article{de_Bakker-Meyer-Olderog/87,
AUTHOR = {de Bakker, J.W. and Meyer, J.-J.C. and Olderog, E.-R.},
TITLE = {Infinite streams and finite observations in the semantics of uniform concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {87-112},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Centre for Math. \& Comp. Sci., Free Univ., Amsterdam, Netherlands},
}
@article{Main-Bucher-Haussler/87,
AUTHOR = {Main, M.G. and Bucher, W. and Haussler, D.},
TITLE = {Applications of an infinite square-free co-CFL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {113-119},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comp. Sci., Colorado Univ., Boulder, CO, USA},
}
@article{Hennessy/87,
AUTHOR = {Hennessy, M.},
TITLE = {An algebraic theory of fair asynchronous communicating processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {121-143},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Sussex Univ., Brighton, England},
}
@article{Bouge/87,
AUTHOR = {Boug{\'e}, L.},
TITLE = {Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {145-169},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Paris Univ., France},
}
@article{Galil-Landau-Yung/87,
AUTHOR = {Galil, Z. and Landau, G.M. and Yung, M.M.},
TITLE = {Distributed algorithms in synchronous broadcasting networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {171-184},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Tel-Aviv Univ., Israel},
}
@article{Larsen/87,
AUTHOR = {Larsen, K.G.},
TITLE = {A context dependent equivalence between processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {185-215},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. of Electron. Syst., Aalborg Univ. Centre, Denmark},
}
@article{Sistla-Vardi-Wolper/87,
AUTHOR = {Sistla, A. Prasad and Vardi, M.Y. and Wolper, P.},
TITLE = {The complementation problem for Buchi automata with applications to temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {217-237},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Comput. Sci. Lab., GTE Lab. Inc, Waltham, MA, USA},
}
@article{Cole/87a,
AUTHOR = {Cole, R.},
TITLE = {Partitioning point sets in arbitrary dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {239-265},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Courant Inst. of Math. Sci., New York Univ., NY, USA},
}
@article{Kurtz-Manber/87,
AUTHOR = {Kurtz, T.G. and Manber, U.},
TITLE = {A probabilistic distributed algorithm for set intersection and its analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {267-282},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Wisconsin Univ., Madison, WI, USA},
}
@article{Flajolet/87,
AUTHOR = {Flajolet, P.},
TITLE = {Analytic models and ambiguity of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {283-309},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {INRIA, Le Chesnay, France},
}
@article{Stirling/87,
AUTHOR = {Stirling, C.},
TITLE = {Modal logics for communicating systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {49},
NUMBER = {2-3},
PAGES = {311-347},
YEAR = {1987},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Edinburgh Univ., Scotland},
}