@article{Book/81b,
AUTHOR = {Book, R.V.},
TITLE = {Foreword, to Special Issue on Formal Language Theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {125},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gati/81,
AUTHOR = {Gati, G.},
TITLE = {Some elements of a Galois theory of the structure and complexity of the tree automorphism problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {1-17},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schulte_Monting/81,
AUTHOR = {Schulte M{\"o}nting, J.},
TITLE = {Merging of 4 or 5 elements with $n$ elements},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {19-37},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nishitani-Honda/81,
AUTHOR = {Nishitani, Y. and Honda, N.},
TITLE = {The firing squad synchronization problem for graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {39-61},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Leiss/81a,
AUTHOR = {Leiss, E.},
TITLE = {On generalized language equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {63-77},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rosenthal/81,
AUTHOR = {Rosenthal, A.},
TITLE = {Optimal algorithms for sensitivity analysis in associative multiplication problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {79-90},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Long/81,
AUTHOR = {Long, T.J.},
TITLE = {On $\Gamma$-reducibility versus polynomial time many-one reducibility},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {91-101},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galil/81a,
AUTHOR = {Galil, Zvi},
TITLE = {On the theoretical efficiency of various network flow algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {103-111},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kozen-Parikh/81,
AUTHOR = {Kozen, D. and Parikh, R.},
TITLE = {An elementary proof of the completeness of PDL (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {113-118},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Latteux/81,
AUTHOR = {Latteux, M.},
TITLE = {A propos de lemme de substitution (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {119-123},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jantzen/81a,
AUTHOR = {Jantzen, Matthias},
TITLE = {The power of synchronizing operations on strings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {127-154},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gallier/81c,
AUTHOR = {Gallier, Jean H.},
TITLE = {DPDA's in ``Atomic Normal Form'' and applications to equivalence problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {155-186},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigenda in Theor.~Comput.~Sci.~17, 111 and in Theor.~Comput.~Sci.~19, 229},
}
@article{Beauquier/81,
AUTHOR = {Beauquier, J.},
TITLE = {Substitution of semi-AFL's},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {187-193},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Therien/81,
AUTHOR = {Th{\'e}rien, D.},
TITLE = {Classification of finite monoids: The language approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {195-208},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maruoka-Kimura-Shoji/81,
AUTHOR = {Maruoka, A. and Kimura, M. and Shoji, N.},
TITLE = {Pattern decomposition for tessellation automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {211-226},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bucher-Maurer-Culik-Wotschke/81,
AUTHOR = {Bucher, W. and Maurer, H.A. and Culik II, K. and Wotschke, D.},
TITLE = {Concise description of finite languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {227-246},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stoklosa-Zakowski/81,
AUTHOR = {Stoklosa, J. and Zakowski, W.},
TITLE = {Computations of $(\alpha, k)$-machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {247-265},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rozenberg-Verraedt/81,
AUTHOR = {Rozenberg, G. and Verraedt, R.},
TITLE = {On pure, terminal invariant and nonterminal invariant interpretations of EOL forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {267-288},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Moran/81b,
AUTHOR = {Moran, Shlomo},
TITLE = {General approximation algorithms for some arithmetical combinatorial problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {289-303},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Callegarin-Pacini/81,
AUTHOR = {Callegarin, G. and Pacini, G.},
TITLE = {About the implementability and the power of equationally defined data abstractions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {305-315},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jensen/81,
AUTHOR = {Jensen, K.},
TITLE = {Coloured Petri nets and the invariant-method},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {317-336},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bucher/81,
AUTHOR = {Bucher, W.},
TITLE = {A note on a problem in the theory of grammatical complexity (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {14},
PAGES = {337-344},
YEAR = {1981},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}