@article{Cazanescu-Stefanescu/92,
AUTHOR = {C{\u{a}}z{\u{a}}nescu, Virgil-Emil and {\c{S}}tef{\u{a}}nescu, Gheorghe},
TITLE = {A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {1-63},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hein/92,
AUTHOR = {Hein, James},
TITLE = {Completions of perpetual logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {65-78},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lambert/92,
AUTHOR = {Lambert, J.L.},
TITLE = {A structure to decide reachability in Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {79-104},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hesselink/92,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Processes and formalisms for unbounded choice},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {105-119},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Priese-Nolte/92,
AUTHOR = {Priese, Lutz and Nolte, Doris},
TITLE = {Strong fairness and ultra metrics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {121-140},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mulry/92,
AUTHOR = {Mulry, Philip S.},
TITLE = {Monads and algebras in the semantics of partial data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {141-155},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Rajasekaran-Reif/92,
AUTHOR = {Rajasekaran, Sanguthevar and Reif, John H.},
TITLE = {Nested annealing: A provable improvement to simulated annealing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {157-176},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bozapalidis/92,
AUTHOR = {Bozapalidis, Symeon},
TITLE = {Alphabetic tree relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {177-211},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Nummenmaa/92,
AUTHOR = {Nummenmaa, J.},
TITLE = {Constructing compact rectilinear planar layouts using canonical representation of planar graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {213-230},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Neraud/92,
AUTHOR = {N{\'e}raud, Jean},
TITLE = {On the rank of the subsets of a free monoid},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {231-241},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ibarra-Tran/92a,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {On space-bounded synchronized alternating Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {243-264},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Zhang/92i,
AUTHOR = {Zhang, Shuhua},
TITLE = {Efficient simplicity testing of automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {265-278},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Balcazar-Schoning/92,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Sch{\"o}ning, Uwe},
TITLE = {Logarithmic advice classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {279-290},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Varricchio/92a,
AUTHOR = {Varricchio, Stefano},
TITLE = {On the decidability of the equivalence problem for partially commutative rational power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {291-299},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ibarra-Jiang-Wang/92,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {A characterization of exponential-time languages by alternating context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {301-313},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Fouks/92,
AUTHOR = {Fouks, Jean-Denis},
TITLE = {Tseitin's formulas revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {315-326},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mosse/92,
AUTHOR = {Moss{\'e}, Brigitte},
TITLE = {Puissances de mots et reconnaissabilit{\'e} des points fixes d'une substitution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {327-334},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hoang/92,
AUTHOR = {Ho{\`a}ng, Chinh T.},
TITLE = {A parallel algorithm for minimum weighted colouring of triangulated graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {335-344},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}