@article{Carmona-Kleijn/13,
AUTHOR = {Carmona, Josep and Kleijn, Jetty},
TITLE = {Compatibility in a multi-component environment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {1-15},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001977},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Reutenauer/77,
AUTHOR = {Reutenauer, C.},
TITLE = {On a question of S. Eilenberg},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {219},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Burkhard/77a,
AUTHOR = {Burkhard, W.A.},
TITLE = {Non-uniform partial-match file designs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {1},
PAGES = {1-23},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kwong/77,
AUTHOR = {Kwong, Y.S.},
TITLE = {On reduction of asynchronous systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {1},
PAGES = {25-50},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chottin/77,
AUTHOR = {Chottin, L.},
TITLE = {Etude syntaxique de certains langages solutions d'{\'e}quations avec op{\'e}rateurs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {1},
PAGES = {51-84},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Engelfriet/77a,
AUTHOR = {Engelfriet, J.},
TITLE = {Iterating iterated substitution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {1},
PAGES = {85-100},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mandel-Simon/77,
AUTHOR = {Mandel, A. and Simon, I.},
TITLE = {On finite semigroups of matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {101-111},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Cremers-Hibbard/77,
AUTHOR = {Cremers, A.B. and Hibbard, T.N.},
TITLE = {On the formal definition of dependencies between the control and information structure of a data space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {113-128},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Latteux/77,
AUTHOR = {Latteux, M.},
TITLE = {Produit dans le c{\^o}ne rationnel engendr{\'e} par $D^*1$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {129-134},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aiello-Aiello-Weybrauch/77,
AUTHOR = {Aiello, L. and Aiello, M. and Weybrauch, R.W.},
TITLE = {Pascal in LCF: Semantics and examples of proof},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {135-177},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galil-Megiddo/77,
AUTHOR = {Galil, Z. and Megiddo, N.},
TITLE = {Cyclic ordering is $NP$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {179-182},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jacob/77,
AUTHOR = {Jacob, G.},
TITLE = {Un algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {183-204},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Atkinson/77,
AUTHOR = {Atkinson, M.D.},
TITLE = {The complexity of group algebra computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {205-209},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Karhumaki/77,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {Remarks on commutative N-rational series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {2},
PAGES = {211-217},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Plotkin/77,
AUTHOR = {Plotkin, G.D.},
TITLE = {LCF considered as a programming language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {223-255},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Smyth/77,
AUTHOR = {Smyth, M.B.},
TITLE = {Effectively given domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {257-274},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Elgot-Snyder/77,
AUTHOR = {Elgot, C.C. and Snyder, L.},
TITLE = {On the many facets of lists},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {275-305},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ginsburg-Spanier/77,
AUTHOR = {Ginsburg, S. and Spanier, E.H.},
TITLE = {Pushdown acceptor forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {307-320},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Luckhardt/77,
AUTHOR = {Luckhardt, H.},
TITLE = {A fundamental effect in computations on real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {321-324},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Coffrut/77,
AUTHOR = {Coffrut, C.},
TITLE = {Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {325-337},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rozenberg-Penttonen-Salomaa/77,
AUTHOR = {Rozenberg, G. and Penttonen, M. and Salomaa, A.},
TITLE = {Bibliography of L systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {5},
NUMBER = {3},
PAGES = {339-354},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lehmann/77a,
AUTHOR = {Lehmann, D.J.},
TITLE = {A note on Schnorr's separatedness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {235},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Milner/77,
AUTHOR = {Milner, R.},
TITLE = {Fully abstract models of types $\lambda$-calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {1-22},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galil/77b,
AUTHOR = {Galil, Zvi},
TITLE = {On the complexity of regular resolution and the Davis-Putnam procedure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {23-46},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schutzenberger/77,
AUTHOR = {Sch{\"u}tzenberger, M.P.},
TITLE = {Sur une variante des fonctions s{\'e}quentielles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {47-57},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lehmann/77,
AUTHOR = {Lehmann, D.J.},
TITLE = {Algebraic structures for transitive closure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {59-76},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Vuillemin/77,
AUTHOR = {Vuillemin, J.},
TITLE = {Comment v{\'e}rifier l'associativit{\'e} d'une table de groupe},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {77-82},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Linna/77,
AUTHOR = {Linna, M.},
TITLE = {A decidability result for deterministic $\omega$-context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {83-98},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Araki-Kasami/77,
AUTHOR = {Araki, Toshior and Kasami, Tadao},
TITLE = {Decidable problems on the strong connectivity of Petri net reachability sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {1},
PAGES = {99-119},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Markowsky/77,
AUTHOR = {Markowsky, G.},
TITLE = {Categories of chain-complete posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {125-135},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hoseno-Sato/77,
AUTHOR = {Hoseno, C. and Sato, M.},
TITLE = {The retracts in $P\omega$ do not form a continuous lattice -- A solution to Scott's problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {137-142},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Geller-Hunt-Szymanski-Ullman/77,
AUTHOR = {Geller, M.M. and Hunt III, H.B. and Szymanski, T.G. and Ullman, J.D.},
TITLE = {Economy of description by parsers, DPDA's and PDA's},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {143-153},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Francon/77,
AUTHOR = {Fran{\c{c}}on, J.},
TITLE = {On the analysis of algorithms for trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {155-169},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stork/77,
AUTHOR = {Stork, H.G.},
TITLE = {On the paging-complexity of periodic arrangements},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {171-197},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maurer-Ottmann-Salomaa/77,
AUTHOR = {Maurer, H. and Ottmann, Th. and Salomaa, A.},
TITLE = {On the form equivalence of $L$-forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {199-225},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ferrante-Geiser/77,
AUTHOR = {Ferrante, J. and Geiser, J.R.},
TITLE = {An efficient procedure for the theory of rational order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {2},
PAGES = {227-233},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Papadimitriou/77,
AUTHOR = {Papadimitriou, C.H.},
TITLE = {The Euclidean traveling salesman problem is $NP$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {3},
PAGES = {237-244},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Geller-Harrison/77a,
AUTHOR = {Geller, M.M. and Harrison, M.A.},
TITLE = {On LR(k) grammars and languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {3},
PAGES = {245-276},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jones-Landweber-Lien/77,
AUTHOR = {Jones, Neil D. and Landweber, L.H. and Lien, Y.E.},
TITLE = {Complexity of some problems in Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {3},
PAGES = {277-299},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Daley/77,
AUTHOR = {Daley, R.},
TITLE = {On the inference of optimal descriptions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {3},
PAGES = {301-319},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Olshansky-Pnueli/77,
AUTHOR = {Olshansky, T. and Pnueli, A.},
TITLE = {A direct algorithm for checking equivalence of LL($k$) grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {4},
NUMBER = {3},
PAGES = {321-349},
YEAR = {1977},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}