@article{Abadi-Cardelli-Curien/93,
AUTHOR = {Abadi, M. and Cardelli, L. and Curien, P.-L.},
TITLE = {Formal parametric polymorphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {9-58},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Barendregt/93,
AUTHOR = {Barendregt, Henk},
TITLE = {Constructive proofs of the range property in lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {59-69},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Berarducci-Intrigila/93,
AUTHOR = {Berarducci, Alessandro and Intrigila, Benedetto},
TITLE = {Some new results on easy lambda-terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {71-88},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Constable-Smith/93,
AUTHOR = {Constable, Robert L. and Smith, Scott F.},
TITLE = {Computational foundations of basic recursive function theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {89-112},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Coppo-Ferrari/93,
AUTHOR = {Coppo, Mario and Ferrari, Alberto},
TITLE = {Type inference, abstract interpretation and strictness analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {113-143},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Huet/93,
AUTHOR = {Huet, G{\'e}rard},
TITLE = {An analysis of B{\"o}hm's theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {145-167},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jacopini-Sontacchi/93,
AUTHOR = {Jacopini, G. and Sontacchi, G.},
TITLE = {General recursive functions in a very simply interpretable typed $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {169-178},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Brookes/93,
AUTHOR = {Brookes, Stephen},
TITLE = {Historical introduction to ``Concrete domains'' by G. Kahn and G.D. Plotkin},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {179-186},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kahn-Plotkin/93,
AUTHOR = {Kahn, G. and Plotkin, G.D.},
TITLE = {Concrete domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {187-277},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Klop-Oostrom-Raamsdonk/93,
AUTHOR = {Klop, Jan Willem and Oostrom, Vincent van and Raamsdonk, Femke van},
TITLE = {Combinatory reduction systems: introduction and survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {279-308},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Leivant/93,
AUTHOR = {Leivant, Daniel},
TITLE = {Functions over free algebras definable in the simply typed lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {309-321},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Longo-Milsted-Soloviev/93,
AUTHOR = {Longo, Giuseppe and Milsted, Kathleen and Soloviev, Sergei},
TITLE = {The genericity theorem and parametricity in the polymorphic $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {323-349},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Plotkin/93,
AUTHOR = {Plotkin, Gordon D.},
TITLE = {Set-theoretical and other elementary models of the $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {351-409},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Scott/93,
AUTHOR = {Scott, Dana S.},
TITLE = {A type-theoretical alternative to ISWIM, CUCH, OWHY},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {411-440},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Statman/93,
AUTHOR = {Statman, Rick},
TITLE = {Some examples of non-existent combinators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {121},
NUMBER = {1-2},
PAGES = {441-448},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Knill-Cox-Pietrzykowski/93,
AUTHOR = {Knill, E. and Cox, P.T. and Pietrzykowski, T.},
TITLE = {Equality and abductive residua for Horn clauses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {1-44},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Nota-Orefice-Pacini-Ruggiero-Tortora/93,
AUTHOR = {Nota, G. and Orefice, S. and Pacini, G. and Ruggiero, F. and Tortora, G.},
TITLE = {Legality concepts for three-valued logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {45-68},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Grabowski/93,
AUTHOR = {Grabowski, Micha{\l}},
TITLE = {On the status of proving program properties in effective interpretations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {69-81},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Baratella/93,
AUTHOR = {Baratella, Stefano},
TITLE = {A class of programs for which SLDNF resolution and NAF rule are complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {83-99},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gastin-Rozoy/93,
AUTHOR = {Gastin, Paul and Rozoy, Brigitte},
TITLE = {The poset of infinitary traces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {101-121},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Cousot-Cousot/93,
AUTHOR = {Cousot, P. and Cousot, R.},
TITLE = {``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {123-155},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zhang/93e,
AUTHOR = {Zhang, Wenhui},
TITLE = {Cut formulas in propositional logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {1},
PAGES = {157-168},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Marcoux/93,
AUTHOR = {Marcoux, Yves},
TITLE = {Composition is almost (but not quite) as good as s-1-1},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {169-195},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bruggemann-Klein/93a,
AUTHOR = {Br{\"u}ggemann-Klein, Anne},
TITLE = {Regular expressions into finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {197-213},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Chen-Wang-Li/93,
AUTHOR = {Chen, Gen-Huey and Wang, Biing-Feng and Li, Hungwen},
TITLE = {Deriving algorithms on reconfigurable networks based on function decomposition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {215-227},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Honkala/93,
AUTHOR = {Honkala, Juha},
TITLE = {On D0L systems with immigration},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {229-245},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kim-Lee/93,
AUTHOR = {Kim, Changwook and Lee, Dong Hoon},
TITLE = {Separating $k$-separated eNCE graph languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {247-259},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Subbiah-Iyengar-Radhakrishnan-Kashyap/93,
AUTHOR = {Subbiah, Rajanarayanan and Iyengar, Sitharama S. and Radhakrishnan, Sridhar and Kashyap, R.L.},
TITLE = {An optimal distributed algorithm for recognizing mesh-connected networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {261-278},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fu-Li/93,
AUTHOR = {Fu, Bin and Li, Hong-zhou},
TITLE = {On symmetric differences of NP-hard sets with weakly P-selective sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {279-291},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Paun-Salomaa/93,
AUTHOR = {P{\u{a}}un, Gheorghe and Salomaa, Arto},
TITLE = {Closure properties of slender languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {293-301},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sikkel/93,
AUTHOR = {Sikkel, Klaas},
TITLE = {Parallel on-line parsing in constant time per word},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {303-310},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ferreira/93,
AUTHOR = {Ferreira, A.},
TITLE = {On space-efficient algorithms for certain NP-complete problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {120},
NUMBER = {2},
PAGES = {311-315},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Barbar/93,
AUTHOR = {Barbar, Kablan},
TITLE = {Attributed tree grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {3-22},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Corsini-Musumbu/93,
AUTHOR = {Corsini, M.-M. and Musumbu, K.},
TITLE = {Type inference in Prolog: a new approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {23-38},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Devienne-Lebegue-Dauchet/93,
AUTHOR = {Devienne, Philippe and Leb{\`e}gue, Patrick and Dauchet, Max},
TITLE = {Weighted systems of equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {39-62},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dikovsky/93,
AUTHOR = {Dikovsky, A.Ja.},
TITLE = {On the computational complexity of Prolog programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {63-102},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dosch/93,
AUTHOR = {Dosch, Walter},
TITLE = {On a generalized product for domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {103-125},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Habbas/93,
AUTHOR = {Habbas, Zineb},
TITLE = {A complete modal proof system for HAL: the Herbrand agent language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {127-143},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Letichevsky-Kapitonova-Konozenko/93,
AUTHOR = {Letichevsky, A.A. and Kapitonova, J.V. and Konozenko, S.V.},
TITLE = {Computations in APS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {145-171},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Nepomniaschy-Sulimov/93,
AUTHOR = {Nepomniaschy, V.A. and Sulimov, A.A.},
TITLE = {Problem-oriented verification system and its application to linear algebra programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {173-185},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sazonov/93,
AUTHOR = {Sazonov, Vladimir Yu.},
TITLE = {Hereditarily-finite sets, data bases and polynomial-time computability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {187-214},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Slissenko/93,
AUTHOR = {Slissenko, A.O.},
TITLE = {On fault tolerance of syntax},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {215-222},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Valiev/93,
AUTHOR = {Valiev, M.K.},
TITLE = {$\Pi^1_1$-universality of some propositional logics of concurrent programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {1},
PAGES = {223-232},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kutylowski/93,
AUTHOR = {Kuty{\l}owski, Miros{\l}aw},
TITLE = {Stack versus sensitivity for one-way automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {233-245},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Apostolico-Ehrenfeucht/93,
AUTHOR = {Apostolico, Alberto and Ehrenfeucht, Andrzej},
TITLE = {Efficient detection of quasiperiodicities in strings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {247-265},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Birget/93a,
AUTHOR = {Birget, Jean-Camille},
TITLE = {Partial orders on words, minimal elements of regular languages, and state complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {267-291},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zimand/93,
AUTHOR = {Zimand, Marius},
TITLE = {If not empty, $NP - P$ is topologically large},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {293-310},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Stromquist-Ullman/93,
AUTHOR = {Stromquist, Walter and Ullman, Daniel},
TITLE = {Sequential compounds of combinatorial games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {311-321},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Wolfe/93,
AUTHOR = {Wolfe, David},
TITLE = {Snakes in domineering games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {323-329},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Tamassia-Tollis/93,
AUTHOR = {Tamassia, Roberto and Tollis, Ioannis G.},
TITLE = {Dynamic reachability in planar digraphs with one source and one sink},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {331-343},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Litow-Dumas/93,
AUTHOR = {Litow, B. and Dumas, Ph.},
TITLE = {Additive cellular automata and algebraic series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {345-354},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Oommen-Ng/93,
AUTHOR = {Oommen, B. John and Ng, David T.H.},
TITLE = {An optimal absorbing list organization strategy with constant memory requirements},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {355-361},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jiang-Li/93,
AUTHOR = {Jiang, Tao and Li, Ming},
TITLE = {On the complexity of learning strings and sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {119},
NUMBER = {2},
PAGES = {363-371},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Baruah-Howell-Rosier/93,
AUTHOR = {Baruah, Sanjoy K. and Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Feasibility problems for recurring tasks on one processor},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {1},
PAGES = {3-20},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Darondeau-Degano/93,
AUTHOR = {Darondeau, Philippe and Degano, Pierpaolo},
TITLE = {Refinement of actions in event structures and causal trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {1},
PAGES = {21-48},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Geffert/93a,
AUTHOR = {Geffert, Viliam},
TITLE = {A speed-up theorem without tape compression},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {1},
PAGES = {49-65},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Walukiewicz/93,
AUTHOR = {Walukiewicz, Igor},
TITLE = {Gentzen-type axiomatization for PAL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {1},
PAGES = {67-79},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Wegener/93a,
AUTHOR = {Wegener, Ingo},
TITLE = {BOTTOM-UP-HEAPSORT, a new variant of HEAPSORT, beating, on an average, QUICKSORT (if $n$ is not very small)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {1},
PAGES = {81-98},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Deransart/93,
AUTHOR = {Deransart, Pierre},
TITLE = {Proof methods of declarative properties of definite programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {99-166},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Comon/93,
AUTHOR = {Comon, Hubert},
TITLE = {Complete axiomatizations of some quotient term algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {167-191},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Stewart/93b,
AUTHOR = {Stewart, Iain A.},
TITLE = {Methods for proving completeness via logical reductions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {193-229},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Draghicescu-Purushothaman/93,
AUTHOR = {Draghicescu, M. and Purushothaman, S.},
TITLE = {A uniform treatment of order of evaluation and aggregate update},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {231-262},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Groote/93,
AUTHOR = {Groote, Jan Friso},
TITLE = {Transition system specifications with negative premises},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {263-299},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Simpson/93a,
AUTHOR = {Simpson, Alex K.},
TITLE = {A characterisation of the least-fixed-point operator by dinaturality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {118},
NUMBER = {2},
PAGES = {301-314},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Labelle/93,
AUTHOR = {Labelle, Gilbert},
TITLE = {Sur la sym{\'e}trie et l'asym{\'e}trie des structures combinatoires},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {3-22},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zeilberger/93,
AUTHOR = {Zeilberger, Doron},
TITLE = {Identities in search of identity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {23-38},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Anselmo/93,
AUTHOR = {Anselmo, Marcella},
TITLE = {The operation ${}^{\uparrow}$ on formal power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {39-43},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Arques-Jacques/93,
AUTHOR = {Arques, Didier and Jacques, Isabelle},
TITLE = {Classification des cartes point{\'e}es de genre 1 et relation fonctionnelle associ{\'e}e},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {45-65},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Betrema-Penaud/93,
AUTHOR = {B{\'e}tr{\'e}ma, J. and Penaud, J.G.},
TITLE = {Animaux et arbres guingois},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {67-89},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bjorner/93,
AUTHOR = {Bj{\"o}rner, Anders},
TITLE = {The M{\"o}bius function of factor order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {91-98},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Casas-Diaz-Martinez/93,
AUTHOR = {Casas, R. and D{\'i}az, J. and Mart{\'i}nez, C.},
TITLE = {Average-case analysis on simple families of trees using a balanced probability model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {99-112},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Chen/93g,
AUTHOR = {Chen, William Y.C.},
TITLE = {Context-free grammars, differential operators and formal power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {113-129},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Chiricota/93,
AUTHOR = {Chiricota, Yves},
TITLE = {Repr{\'e}sentation symbolique d'esp{\`e}ces mol{\'e}culaires},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {131-136},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Choi-Gouyou-Beauchamps/93,
AUTHOR = {Choi, Seul Hee and Gouyou-Beauchamps, Dominique},
TITLE = {Enumeration of generalized Young tableaux with bounded height},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {137-151},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Constantineau/93,
AUTHOR = {Constantineau, Ivan},
TITLE = {Auto-similarit{\'e} dans la combinatoire des polyn{\^o}mes orthogonaux},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {153-167},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Decoste/93,
AUTHOR = {D{\'e}coste, H{\'e}l{\`e}ne},
TITLE = {S{\'e}ries indicatrices et $q$-s{\'e}ries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {169-186},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dulucq-Gire/93,
AUTHOR = {Dulucq, S. and Gire, S.},
TITLE = {Complexit{\'e} d'algorithmes et op{\'e}rations sur les arbres},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {187-198},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ekhad/93,
AUTHOR = {Ekhad, Shalosh B.},
TITLE = {A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {199-202},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lalanne/93,
AUTHOR = {Lalanne, J.C.},
TITLE = {Sur une involution sur les chemins de Dyck},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {203-215},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lalonde/93,
AUTHOR = {Lalonde, Pierre},
TITLE = {Bases de Lyndon des alg{\`e}bres de Lie libres partiellement commutatives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {217-226},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lando-Zvonkin/93,
AUTHOR = {Lando, S.K. and Zvonkin, A.K.},
TITLE = {Plane and projective meanders},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {227-241},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Mantaci/93,
AUTHOR = {Mantaci, Roberto},
TITLE = {Sur la distribution des anti-exc{\'e}dances dans le groupe sym{\'e}trique et dans ses sous-groupes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {243-253},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Melancon/93,
AUTHOR = {Melan{\c{c}}on, Guy},
TITLE = {Constructions des bases standard des $K\langle A\rangle$-modules {\`a} droite},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {255-272},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sagan/93,
AUTHOR = {Sagan, Bruce E.},
TITLE = {Combinatorial proofs of hook generating functions for skew plane partitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {273-287},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Svrtan/93,
AUTHOR = {Svrtan, Dragutin},
TITLE = {New plethysm operation, Chern characters of exterior and symmetric powers with applications to Stiefel-Whitney classes of grassmannians},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {289-301},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{West/93,
AUTHOR = {West, Julian},
TITLE = {Sorting twice through a stack},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {117},
NUMBER = {1-2},
PAGES = {303-313},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fagin/93,
AUTHOR = {Fagin, Ronald},
TITLE = {Finite-model theory --- a personal perspective},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {3-31},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kuper-Vardi/93,
AUTHOR = {Kuper, Gabriel M. and Vardi, Moshe Y.},
TITLE = {On the complexity of queries in the logical data model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {33-57},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Beeri-Kornatzky/93,
AUTHOR = {Beeri, Catriel and Kornatzky, Yoram},
TITLE = {Algebraic optimization of object-oriented query languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {59-94},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Consens-Mendelzon/93,
AUTHOR = {Consens, Mariano P. and Mendelzon, Alberto O.},
TITLE = {Low-complexity aggregation in GraphLog and Datalog},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {95-116},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Revesz/93,
AUTHOR = {Revesz, Peter Z.},
TITLE = {A closed-form evaluation for Datalog queries with integer (gap)-order constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {117-149},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{van_der_Meyden/93,
AUTHOR = {van der Meyden, Ron},
TITLE = {Recursively indefinite databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {151-194},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lipton-Naughton-Schneider-Seshadri/93,
AUTHOR = {Lipton, Richard J. and Naughton, Jeffrey F. and Schneider, Donovan A. and Seshadri, S.},
TITLE = {Efficient sampling strategies for relational database operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {1},
PAGES = {195-226},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ehrenfeucht-Rozenberg/93,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {T-structures, T-functions, and texts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {227-290},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bruderlin/93,
AUTHOR = {Br{\"u}derlin, Beat},
TITLE = {Using geometric rewrite rules for solving geometric problems symbolically},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {291-303},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Karhumaki-Rytter-Jarominek/93,
AUTHOR = {Karhum{\"a}ki, Juhani and Rytter, Wojciech and Jarominek, Stefan},
TITLE = {Efficient constructions of test sets for regular and context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {305-316},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Saouter-Quinton/93,
AUTHOR = {Saouter, Yannick and Quinton, Patrice},
TITLE = {Computability of recurrence equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {317-337},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Andrasiu-Paun-Dassow-Salomaa/93,
AUTHOR = {Andra{\c{s}}iu, Mircea and P{\u{a}}un, Gheorghe and Dassow, J{\"u}rgen and Salomaa, Arto},
TITLE = {Language-theoretic problems arising from Richelieu cryptosystems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {339-357},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Feuerstein-Marchetti-Spaccamela/93,
AUTHOR = {Feuerstein, Esteban and Marchetti-Spaccamela, Alberto},
TITLE = {Dynamic algorithms for shortest paths in planar graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {359-371},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Culik-Dube/93d,
AUTHOR = {Culik II, Karel and Dube, Simant},
TITLE = {Affine automata and related techniques for generation of complex images},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {373-398},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Koutsoupias/93,
AUTHOR = {Koutsoupias, Elias},
TITLE = {Improvements on Khrapchenko's theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {399-403},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kleine_Buning/93,
AUTHOR = {Kleine B{\"u}ning, Hans},
TITLE = {On generalized Horn formulas and $k$-resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {405-413},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Pudlak-Savicky/93,
AUTHOR = {Pudl{\'a}k, Pavel and Savick{\'y}, Petr},
TITLE = {On shifting networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {415-419},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Monien-Rytter-Schapers/93,
AUTHOR = {Monien, Burkhard and Rytter, Wojciech and Sch{\"a}pers, Leopold},
TITLE = {Fast recognition of deterministic cfl's with a smaller number of processors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {116},
NUMBER = {2},
PAGES = {421-429},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.\ 123, 427},
}
@article{Blute/93,
AUTHOR = {Blute, Richard},
TITLE = {Linear logic, coherence and dinaturality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {3-41},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Burroni/93,
AUTHOR = {Burroni, Albert},
TITLE = {Higher-dimensional word problems with applications to equational logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {43-62},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Coquand/93,
AUTHOR = {Coquand, Thierry},
TITLE = {Another proof of the intuitionistic Ramsey theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {63-75},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Edalat-Smyth/93,
AUTHOR = {Edalat, Abbas and Smyth, Michael B.},
TITLE = {I-categories as a framework for solving domain equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {77-106},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Freyd/93,
AUTHOR = {Freyd, P.},
TITLE = {Structural polymorphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {107-129},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jarzembski/93,
AUTHOR = {Jarzembski, Grzegorz},
TITLE = {Programs in partial algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {131-149},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jay/93,
AUTHOR = {Jay, C. Barry},
TITLE = {Tail recursion through universal invariants},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {1},
PAGES = {151-189},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Litovsky-Metivier/93,
AUTHOR = {Litovsky, Igor and M{\'e}tivier, Yves},
TITLE = {Computing with graph rewriting systems with priorities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {191-224},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Allender-Beigel-Hertrampf-Homer/93,
AUTHOR = {Allender, Eric and Beigel, Richard and Hertrampf, Ulrich and Homer, Steven},
TITLE = {Almost-everywhere complexity hierarchies for nondeterministic time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {225-241},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Carpi/93a,
AUTHOR = {Carpi, Arturo},
TITLE = {Overlap-free words and finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {243-260},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ibarra-Tran/93a,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {Synchronized finite automata and 2DFA reductions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {261-275},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Longpre-Selman/93,
AUTHOR = {Longpr{\'e}, Luc and Selman, Alan L.},
TITLE = {Hard promise problems and nonuniform complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {277-290},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Troesch/93,
AUTHOR = {Troesch, A.},
TITLE = {Interpr{\'e}tation g{\'e}om{\'e}trique de l'algorithme d'Euclide et reconnaissance de segments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {291-319},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Goles-Kiwi/93,
AUTHOR = {Goles, Eric and Kiwi, Marcos A.},
TITLE = {Games on line graphs and sand piles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {321-349},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Srikant-Sundaram-Singh-Pandu_Rangan/93,
AUTHOR = {Srikant, R. and Sundaram, Ravi and Singh, Karan Sher and Pandu Rangan, C.},
TITLE = {Optimal path cover problem on block graphs and bipartite permutation graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {351-357},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Katsura-Kobayashi/93,
AUTHOR = {Katsura, Masashi and Kobayashi, Yuji},
TITLE = {The shuffle algebra and its derivations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {359-369},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Tang-Fu-Liu/93,
AUTHOR = {Tang, Shouwen and Fu, Bin and Liu, Tian},
TITLE = {Exponential-time and subexponential-time sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {371-381},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Homer-Kurtz-Royer/93,
AUTHOR = {Homer, Steven and Kurtz, Stuart and Royer, James},
TITLE = {On 1-truth-table-hard languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {383-389},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Vagvolgyi/93,
AUTHOR = {V{\'a}gv{\"o}lgyi, S{\'a}ndor},
TITLE = {A fast algorithm for constructing a tree automaton recognizing a congruential tree language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {115},
NUMBER = {2},
PAGES = {391-399},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Abadi-Plotkin/93,
AUTHOR = {Abadi, Mart{\'i}n and Plotkin, Gordon D.},
TITLE = {A logical view of composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {3-30},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Boudol-Castellani-Hennessy-Kiehn/93,
AUTHOR = {Boudol, G. and Castellani, I. and Hennessy, M. and Kiehn, A.},
TITLE = {Observing localities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {31-61},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Degano-Nicola-Montanari/93,
AUTHOR = {Degano, Pierpaolo and Nicola, Rocco De and Montanari, Ugo},
TITLE = {Universal axioms for bisimulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {63-91},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Desel-Esparza/93a,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Reachability in cyclic extended free-choice systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {93-118},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Larsen/93,
AUTHOR = {Larsen, Kim Guldstrand},
TITLE = {The expressive power of implicit specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {119-147},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Milner-Parrow-Walker/93,
AUTHOR = {Milner, Robin and Parrow, Joachim and Walker, David},
TITLE = {Modal logics for mobile processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {149-171},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Vogler/93a,
AUTHOR = {Vogler, Walter},
TITLE = {Bisimulation and action refinement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {173-200},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Vickers/93,
AUTHOR = {Vickers, Steven},
TITLE = {Information systems for continuous posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {201-229},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Eiter-Gottlob/93,
AUTHOR = {Eiter, Thomas and Gottlob, Georg},
TITLE = {Propositional circumscription and extended closed-world reasoning are $\Pi^p_2$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {231-245},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
NOTE = {see Addendum in Theor.~Comput.~Sci.\ 118, 315},
}
@article{Desharnais-Jaoua-Mili-Boudriga-Mili/93,
AUTHOR = {Desharnais, Jules and Jaoua, Ali and Mili, Fatma and Boudriga, Noureddine and Mili, Ali},
TITLE = {A relational division operator: the conjugate kernel},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {247-272},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dougherty/93,
AUTHOR = {Dougherty, Daniel J.},
TITLE = {Higher-order unification via combinators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {273-298},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Barr/93,
AUTHOR = {Barr, Michael},
TITLE = {Terminal coalgebras in well-founded set theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {299-315},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
NOTE = {see Additions and Corrections in Theor.~Comput.~Sci.\ 124, 189-192},
}
@article{Elvang-Goransson-Owe/93,
AUTHOR = {Elvang-G{\o}ransson, Morten and Owe, Olaf},
TITLE = {A simple sequent calculus for partial functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {317-330},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Albert-Casas-Fages/93,
AUTHOR = {Albert, Luc and Casas, Rafael and Fages, Fran{\c{c}}ois},
TITLE = {Average-case analysis of unification algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {3-34},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Diekert/93a,
AUTHOR = {Diekert, Volker},
TITLE = {On the concatenation of infinite traces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {35-54},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fortnow-Lund/93,
AUTHOR = {Fortnow, Lance and Lund, Carsten},
TITLE = {Interactive proof systems and alternating time-space complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {55-73},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Huhne/93a,
AUTHOR = {H{\"u}hne, Martin},
TITLE = {On the power of several queues},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {75-91},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jeron-Jard/93,
AUTHOR = {J{\'e}ron, Thierry and Jard, Claude},
TITLE = {Testing for unboundedness of fifo channels},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {93-117},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Madlener-Narendran-Otto-Zhang/93,
AUTHOR = {Madlener, K. and Narendran, P. and Otto, F. and Zhang, L.},
TITLE = {On weakly confluent monadic string-rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {119-165},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Tarui/93,
AUTHOR = {Tarui, Jun},
TITLE = {Probabilistic polynomials, $AC^0$ functions, and the polynomial-time hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {167-183},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Weihrauch/93,
AUTHOR = {Weihrauch, Klaus},
TITLE = {Computability on computable metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {191-210},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Yi-Xu/93,
AUTHOR = {Yi, Bo and Xu, Jiafu},
TITLE = {Analogy calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {211-230},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ruqian/93,
AUTHOR = {Ruqian, Lu},
TITLE = {A true concurrency model of CCS semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {231-258},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lu-Xu/93,
AUTHOR = {Lu, Jianguo and Xu, Jiafu},
TITLE = {Analogical program derivation based on type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {259-272},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bucciarelli-Ehrhard/93,
AUTHOR = {Bucciarelli, Antonio and Ehrhard, Thomas},
TITLE = {A theory of sequentiality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {273-291},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{van_Glabbeck-Vaandrager/93,
AUTHOR = {van Glabbeck, Rob and Vaandrager, Frits W.},
TITLE = {Modular specification of process algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {293-348},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Masseron-Tollu-Vauzeilles/93,
AUTHOR = {Masseron, M. and Tollu, C. and Vauzeilles, J.},
TITLE = {Generating plans in linear logic. I. Actions as proofs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {349-370},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Masseron/93,
AUTHOR = {Masseron, M.},
TITLE = {Generating plans in linear logic. II. A geometry of conjunctive actions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {113},
PAGES = {371-375},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Janicki-Koutny/93,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Structure of concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {5-52},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Srinivas/93,
AUTHOR = {Srinivas, Yellamraju V.},
TITLE = {A sheaf-theoretic approach to pattern matching and related problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {53-97},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Talcott/93,
AUTHOR = {Talcott, Carolyn},
TITLE = {A theory of binding structures and applications to rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {99-143},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Thomas-Watson/93,
AUTHOR = {Thomas, Muffy and Watson, Phil},
TITLE = {Solving divergence in Knuth-Bendix completion by enriching signatures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {145-185},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Herbst-Thomas/93,
AUTHOR = {Herbst, Thomas and Thomas, Richard M.},
TITLE = {Group presentations, formal languages and characterizations of one-counter groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {187-213},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bourgin-Howe/93,
AUTHOR = {Bourgin, Richard D. and Howe, Sally E.},
TITLE = {Shortest curves in planar regions with curved boundary},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {215-253},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ogiwara-Lozano/93,
AUTHOR = {Ogiwara, Mitsunori and Lozano, Antoni},
TITLE = {On sparse hard sets for counting classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {255-275},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Csuhaj-Varju-Kelemenova/93,
AUTHOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Kelemenov{\'a}, Alica},
TITLE = {Descriptional complexity of context-free grammar forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {277-289},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sturtivant-Frandsen/93,
AUTHOR = {Sturtivant, Carl and Frandsen, Gudmund Skovbjerg},
TITLE = {The computational efficacy of finite-field arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {291-309},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Neraud/93,
AUTHOR = {N{\'e}raud, Jean},
TITLE = {Deciding whether a finite set of words has rank at most two},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {311-337},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Boissonnat-Teillaud/93,
AUTHOR = {Boissonnat, Jean-Daniel and Teillaud, Monique},
TITLE = {On the randomized construction of the Delaunay tree},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {339-354},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Aslam-Dhagat/93,
AUTHOR = {Aslam, Javed A. and Dhagat, Aditi},
TITLE = {On-line algorithms for 2-coloring hypergraphs via chip games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {355-369},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fraenkel-Scheinerman-Ullman/93,
AUTHOR = {Fraenkel, Aviezri S. and Scheinerman, Edward R. and Ullman, Daniel},
TITLE = {Undirected edge geography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {371-381},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Calude-Campeanu/93,
AUTHOR = {Calude, Cristian and C{\^a}mpeanu, Cezar},
TITLE = {Note on the topological structure of random strings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {383-390},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ibarra-Tran/93,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {A note on simple programs with two variables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {391-397},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Korec/93,
AUTHOR = {Korec, Ivan},
TITLE = {Irrational speeds of configurations growth in generalized Pascal triangles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {399-412},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Skurczynski/93,
AUTHOR = {Skurczy{\'n}ski, Jerzy},
TITLE = {The Borel hierarchy is infinite in the class of regular sets of trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {413-418},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sykora-Vrto/93,
AUTHOR = {S{\'y}kora, Ondrej and Vr{\v{t}}o, Imrich},
TITLE = {Edge separators for graphs of bounded genus with applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {112},
PAGES = {419-429},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Abramsky/93,
AUTHOR = {Abramsky, Samson},
TITLE = {Computational interpretations of linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {3-57},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Heckmann/93,
AUTHOR = {Heckmann, Reinhold},
TITLE = {Power domains and second-order predicates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {59-88},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Droste/93,
AUTHOR = {Droste, Manfred},
TITLE = {On stable domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {89-101},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lamarche/93,
AUTHOR = {Lamarche, Fran{\c{c}}ois},
TITLE = {Stable domains are generalized topological spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {103-123},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Main/93,
AUTHOR = {Main, Michael G.},
TITLE = {Complete proof rules for strong fairness and strong extreme fairness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {125-143},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dybkjar-Melton/93,
AUTHOR = {Dybkj{\ae}r, Hans and Melton, Austin},
TITLE = {Comparing Hagino's categorical programming language and typed lambda-calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {145-189},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Moss-Thatte/93,
AUTHOR = {Moss, Lawrence S. and Thatte, Satish R.},
TITLE = {Modal logic and algebraic specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {191-210},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gilmore-Tsiknis/93,
AUTHOR = {Gilmore, Paul C. and Tsiknis, George K.},
TITLE = {A logic for category theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {211-252},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gilmore-Tsiknis/93a,
AUTHOR = {Gilmore, Paul C. and Tsiknis, George K.},
TITLE = {Logical foundations for programming semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {111},
NUMBER = {1-2},
PAGES = {253-290},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Engelfriet-Hoogeboom/93,
AUTHOR = {Engelfriet, Joost and Hoogeboom, Hendrik Jan},
TITLE = {$X$-automata on $\omega$-words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {1-51},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Goles-Maass-Martinez/93,
AUTHOR = {Goles, Eric and Maass, Alejandro and Martinez, Servet},
TITLE = {On the limit set of some universal cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {53-78},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Blizard/93,
AUTHOR = {Blizard, Wayne D.},
TITLE = {Dedekind multisets and function shells},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {79-98},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Patt-Shamir-Peleg/93,
AUTHOR = {Patt-Shamir, Boaz and Peleg, David},
TITLE = {Time-space tradeoffs for set operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {99-129},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Freivalds-Kinber-Wiehagen/93,
AUTHOR = {Freivalds, R. and Kinber, E.B. and Wiehagen, R.},
TITLE = {On the power of inductive inference from good examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {131-144},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Habel-Kreowski-Lautemann/93,
AUTHOR = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Lautemann, Clemens},
TITLE = {A comparison of compatible, finite, and inductive graph properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {145-168},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zwick-Paterson/93,
AUTHOR = {Zwick, Uri and Paterson, Michael S.},
TITLE = {The memory game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {169-196},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fraenkel-Simonson/93,
AUTHOR = {Fraenkel, A.S. and Simonson, S.},
TITLE = {Geography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {197-214},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bodlaender/93d,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {Complexity of path-forming games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {215-245},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gallier/93,
AUTHOR = {Gallier, Jean},
TITLE = {Constructive logics Part I: A tutorial on proof systems and typed $\lambda$-calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {249-339},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Charron-Bost/93,
AUTHOR = {Charron-Bost, Bernadette},
TITLE = {Coupling coefficients of a distributed execution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {341-376},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Maher/93,
AUTHOR = {Maher, Michael J.},
TITLE = {A transformation system for deductive database modules with perfect model semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {377-403},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Forster/93,
AUTHOR = {Forster, Thomas},
TITLE = {A semantic characterization of the well-typed formulae of $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {405-418},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sprenger-Wymann-Boni/93,
AUTHOR = {Sprenger, M. and Wymann-B{\"o}ni, M.},
TITLE = {How to decide the lark},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {110},
PAGES = {419-432},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ehrig-Lowe/93,
AUTHOR = {Ehrig, H. and L{\"o}we, M.},
TITLE = {The ESPRIT basic research working group COMPUGRAPH ``Computing by Graph Transformation'': a survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {3-6},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Corradini-Rossi/93,
AUTHOR = {Corradini, Andrea and Rossi, Francesca},
TITLE = {Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {7-48},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Courcelle-Mosbah/93,
AUTHOR = {Courcelle, B. and Mosbah, M.},
TITLE = {Monadic second-order evaluations on tree-decomposable graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {49-82},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Drewes/93a,
AUTHOR = {Drewes, Frank},
TITLE = {Recognising $k$-connected hypergraphs in cubic time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {83-122},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Ehrig-Lowe/93a,
AUTHOR = {Ehrig, H. and L{\"o}we, M.},
TITLE = {Parallel and distributed derivations in the single-pushout approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {123-143},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Janssens/93,
AUTHOR = {Janssens, D.},
TITLE = {Equivalence of computations in actor grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {145-180},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lowe/93,
AUTHOR = {L{\"o}we, Michael},
TITLE = {Algebraic approach to single-pushout graph transformation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {181-224},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Montanari-Rossi/93,
AUTHOR = {Montanari, Ugo and Rossi, Francesca},
TITLE = {Graph rewriting for a partial ordering semantics of concurrent constraint programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {225-256},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Schneider/93,
AUTHOR = {Schneider, H.J.},
TITLE = {On categorical graph grammars integrating structural transformations and operations on labels},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {109},
NUMBER = {1-2},
PAGES = {257-274},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Almeida/93,
AUTHOR = {Almeida, Jorge},
TITLE = {Locally commutative power semigroups and counting factors of words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {3-16},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Crvenkovic-Madarasz/93,
AUTHOR = {Crvenkovi{\'c}, Sini{\v{s}}a and Madar{\'a}sz, Roz{\'a}lia S.},
TITLE = {On Kleene algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {17-24},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Diekert/93,
AUTHOR = {Diekert, Volker},
TITLE = {M{\"o}bius functions and confluent semi-commutations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {25-43},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Frougny-Sakarovitch/93,
AUTHOR = {Frougny, Christiane and Sakarovitch, Jacques},
TITLE = {Synchronized rational relations of finite and infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {45-82},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Garzon/93,
AUTHOR = {Garzon, Max},
TITLE = {Cayley automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {83-102},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Karhumaki/93,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {Equations over finite sets of words and equivalence problems in automata theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {103-118},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Katsura-Tanaka/93,
AUTHOR = {Katsura, Masashi and Tanaka, Genjiro},
TITLE = {Groups of finite elementary codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {119-149},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kunze/93,
AUTHOR = {Kunze, Michael},
TITLE = {Standard automata and semidirect products of transformation semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {151-171},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zhang-Qiu/93,
AUTHOR = {Zhang, Liang and Qiu, Weide},
TITLE = {Decompositions of recognizable strong maximal codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {173-183},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Fulop-Herrmann-Vagvolgyi-Vogler/93,
AUTHOR = {F{\"u}l{\"o}p, Zolt{\'a}n and Herrmann, Frank and V{\'a}gv{\"o}lgyi, S{\'a}ndor and Vogler, Heiko},
TITLE = {Tree transducers with external functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {185-236},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Van-Le_Saec-Litovsky/93,
AUTHOR = {Van, Do Long and Le Sa{\"e}c, Bertrand and Litovsky, Igor},
TITLE = {Stability for the zigzag submonoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {237-249},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Madonia-Salemi-Sportelli/93,
AUTHOR = {Madonia, M. and Salemi, S. and Sportelli, T.},
TITLE = {A generalization of Sardinas and Patterson's algorithm to $z$-codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {251-270},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dietzfelbinger-Maass/93,
AUTHOR = {Dietzfelbinger, Martin and Maass, Wolfgang},
TITLE = {The complexity of matrix transposition on one-tape off-line Turing machines with output tape},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {271-290},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Schmid/93,
AUTHOR = {Schmid, Ulrich},
TITLE = {The average CRI-length of a controlles ALOHA collision resolution algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
NUMBER = {2},
PAGES = {291-310},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bar_Yehuda-Etzion-Moran/93,
AUTHOR = {Bar Yehuda, Reuven and Etzion, Tuvi and Moran, Shlomo},
TITLE = {Rotating-table games and derivatives of words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {311-329},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Apostolico/93,
AUTHOR = {Apostolico, Alberto},
TITLE = {Efficient CRCW-PRAM algorithms for universal substring searching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {331-344},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Grossi/93,
AUTHOR = {Grossi, Roberto},
TITLE = {On finding common subtrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {345-356},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Slowinski/93,
AUTHOR = {Slowinski, Karine},
TITLE = {Picture words with invisible lines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {357-363},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Middendorf/93a,
AUTHOR = {Middendorf, M.},
TITLE = {The shortest common nonsubsequence problem is NP-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {365-369},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{dAmore-Marchetti-Spaccamela-Nanni/93,
AUTHOR = {d'Amore, Fabrizio and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {The weighted list update problem and the lazy adversary},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {371-384},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lehr/93,
AUTHOR = {Lehr, S.},
TITLE = {Sums and rational multiples of $q$-automatic sequences are $q$-automatic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {385-391},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hromkovic-Inoue/93,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Inoue, Katsushi},
TITLE = {A note on realtime one-way synchronized alternating one-counter automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {108},
PAGES = {393-400},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Alvarez-Jenner/93,
AUTHOR = {{\'A}lvarez, Carme and Jenner, Birgit},
TITLE = {A very hard log-space counting class},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {3-30},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bedard-Lemieux-McKenzie/93,
AUTHOR = {B{\'e}dard, Fran{\c{c}}ois and Lemieux, Fran{\c{c}}ois and McKenzie, Pierre},
TITLE = {Extensions to Barrington's M-program model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {31-61},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Heiman-Newman-Wigderson/93,
AUTHOR = {Heiman, Rafi and Newman, Ilan and Wigderson, Avi},
TITLE = {On read-once threshold formulae and their randomized decision tree complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {63-76},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lange/93a,
AUTHOR = {Lange, Klaus-J{\"o}rn},
TITLE = {Unambiguity of circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {77-94},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Lutz-Schmidt/93,
AUTHOR = {Lutz, Jack H. and Schmidt, William J.},
TITLE = {Circuit size relative to pseudorandom oracles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {95-120},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Mansour-Nisan-Tiwari/93,
AUTHOR = {Mansour, Yishay and Nisan, Noam and Tiwari, Prasoon},
TITLE = {The computational complexity of universal hashing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {121-133},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Nisan/93,
AUTHOR = {Nisan, Noam},
TITLE = {On read-once vs.\ multiple access to randomness in logspace},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {135-144},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Panconesi-Ranjan/93,
AUTHOR = {Panconesi, Alessandro and Ranjan, Desh},
TITLE = {Quantifiers and approximation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {145-163},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Jacobs/93,
AUTHOR = {Jacobs, Bart},
TITLE = {Comprehension categories and the semantics of type dependency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {169-207},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bellia-Occhiuto/93,
AUTHOR = {Bellia, Marco and Occhiuto, M. Eugenia},
TITLE = {C-expressions: a variable-free calculus for equational logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {209-252},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hirokawa/93,
AUTHOR = {Hirokawa, Sachio},
TITLE = {Principal types of BCK-lambda-terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {253-276},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Cortesi-File/93,
AUTHOR = {Cortesi, Agostino and Fil{\'e}, Gilberto},
TITLE = {Graph properties for normal logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {277-303},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Main-Black/93,
AUTHOR = {Main, Michael G. and Black, David L.},
TITLE = {Semantic models for total correctness and fairness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {305-332},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sreedhar-Taghva/93,
AUTHOR = {Sreedhar, Vugranam and Taghva, Kazem},
TITLE = {Capturing strong reduction in director string calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {333-347},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dowek/93,
AUTHOR = {Dowek, Gilles},
TITLE = {The undecidability of pattern matching in calculi where primitive recursive functions are representable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {349-356},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Milner-Moller/93,
AUTHOR = {Milner, Robin and Moller, Faron},
TITLE = {Unique decomposition of processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {107},
PAGES = {357-363},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}