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