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