@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},
}