% The Chicago Journal of Theoretical Computer Science, Volume 1996, Article 4 % Bibliography @PhdThesis{cj96-04-01, author = {Ronald V.~Book}, title = {Grammars with time functions}, type = {Dissertation}, school = {Harvard University, Cambridge, Massachusetts}, number = {Report No.~NSF-23}, month = feb, year = {1969} } @Book{cj96-04-02, author = {Egon B{\"o}rger}, title = {{B}erechenbarkeit, {K}omplexit{\"a}t, {L}ogik}, language = {german}, publisher = {Friedrich Vieweg \& Sohn}, address = {{B}raunschweig, {W}iesbaden}, note = {A third edition appeared 1995. English edition: \cite{cj96-04-03}}, year = {1985} } @Book{cj96-04-03, author = {Egon B{\"o}rger}, language = {USenglish}, title = {Computability, Complexity, Logic}, publisher = {North Holland}, address = {Amsterdam}, series = {Studies in Logic and the Foundations of Mathematics}, volume = {128}, note = {The German original appeared as: \cite{cj96-04-02}}, year = {1989} } @Article{cj96-04-04, author = {Burchard von Braunm{\"u}hl and Stephen Cook and Kurt Mehlhorn and Rutger Verbeek}, language = {USenglish}, title = {The Recognition of Deterministic {CFLs} in Small Time and Space}, journal = {Information and Control}, volume = {56}, number = {1/2}, pages = {34--51}, month = {January/February}, year = {1983} } @TechReport{cj96-04-05, author = {Gerhard Buntrock}, title = {Growing Context-Sensitive Languages and Automata}, number = {69}, year = {1993}, month = sep, institution = {{F}akult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t {W}{\"u}rzburg} } @PhdThesis{cj96-04-06, author = {Gerhard Buntrock}, title = {Wachsende kontextsensitive Sprachen}, type = {Habilitation thesis}, school = {Fakult{\"a}t f{\"u}r Mathematik und Informatik, Universit{\"a}t W{\"u}rzburg}, month = jul, note = {English title: Growing context-sensitive languages}, year = {1996} } @Conference{cj96-04-07, author = {Gerhard Buntrock and Krzysztof Lory\'s}, title = {On Growing Context-Sensitive Languages}, pages = {77--88}, booktitle = {Proceedings of the 19th International Colloquium on Automata, Languages and Programming}, editor = {Werner Kuich}, series = {Lecture Notes in Computer Science}, volume = {623}, year = {1992}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg, New York} } @Conference{cj96-04-08, author = {Gerhard Buntrock and Krzysztof Lory\'s}, title = {The Variable Membership Problem: succinctness versus complexity}, pages = {595--606}, booktitle = {Proceedings of the 11th Symposium on Theoretical Aspects of Computer Science}, editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner}, series = {Lecture Notes in Computer Science}, volume = {775}, year = {1994}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg, New York} } @Conference{cj96-04-09, author = {Gerhard Buntrock and Friedrich Otto}, title = {Growing Context-Sensitive Languages and {C}hurch-{R}osser Languages}, pages = {313--324}, booktitle = {Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science}, series = {Lecture Notes in Computer Science}, volume = {900}, year = {1995}, publisher = {Springer-Verlag}, note = {To appear in \emph{Information and Computation}} } @Article{cj96-04-10, author = {Noam Chomsky}, title = {On Certain Formal Properties of Grammars}, journal = {Information and Control}, volume = {2}, pages = {137--167}, year = {1959} } @InProceedings{cj96-04-11, author = {Stephen A. Cook}, language = {USenglish}, title = {Deterministic {CFL's} are Accepted Simultaneously in Polynomial Time and {LOG} Squared Space}, booktitle = {Eleventh Annual ACM Symposium on Theory of Computing}, editor = {M.\ Fischer}, publisher = {ACM}, pages = {338--345}, year = {1979}, note = {The results of this paper are contained in \cite{cj96-04-04}} } @Article{cj96-04-12, author = {Armin B.~Cremers}, title = {Normal Forms for Context{--}Sensitive Grammars}, journal = {Acta Informatica}, volume = {3}, pages = {59--73}, year = {1973} } @Article{cj96-04-13, author = {Elias Dahlhaus and Manfred K. Warmuth}, title = {Membership for Growing Context{--}Sensitive Grammars Is Polynomial}, journal = {Journal of Computer and System Sciences}, volume = {33}, number = {3}, pages = {456--472}, year = {1986} } @Article{cj96-04-14, author = {Seymour Ginsburg and Sheila Greibach and John E. Hopcroft}, title = {Studies in Abstract Families of Languages}, journal = {Memoirs of the American Mathematical Society}, volume = {87}, pages = {1--51}, year = {1969} } @Article{cj96-04-15, author = {Aleksey Vsevolodovich Gladkii}, title = {{\cyr O slozhnosti vyvoda v grammatikakh neposredstvenno sostavlyayuwih}}, journal = {{\cyr ALGEBRA i LOGIKA, Ceminar}}, Address = {{\cyr REDAKTSIONNO-IZDATEL\Cprime SKI\u{I} OTDEL SO AN SSSR, NOVOSIBIRSK}}, volume = {3}, number = {5-6}, pages = {29--44}, year = {1964}, note = {English title: On the complexity of derivations in context-sensitive grammars; journal: \emph{Algebra and Logics, Seminar}, Academy of Sciences of USSR, Novosibirsk} } @Book{cj96-04-16, author = {Michael A. Harrison}, title = {Introduction to Formal Language Theory}, publisher = {Addison-Wesley}, address = {Reading, MA}, year = {1978}, series = {Series in Computer Science} } @Book{cj96-04-17, author = {John E. Hopcroft and Jeffrey D. Ullman}, title = {Introduction to Automata Theory, Languages and Computation}, publisher = {Addison-Wesley}, address = {Reading, MA}, year = {1979}, series = {Series in Computer Science} } @Unpublished{cj96-04-18, author = {Matthias Jantzen}, title = {A Remark on Increasing Grammars}, institution = {Santa Barbara}, year = {1979}, note = {Unpublished note: the content of this note can be read in \cite{cj96-04-06}} } @Article{cj96-04-19, author = {S.-Y. Kuroda}, language = {USenglish}, title = {Classes of Languages and Linear-Bounded Automata}, journal = {Information and Control}, volume = {7}, number = {2}, pages = {207--223}, year = {1964} } @MastersThesis{cj96-04-20, author = {Gundula Niemann}, type = {Studienarbeit}, title = {Die {L}{\"a}nge wachsender {G}rammatiken, die aus quasi wachsenden erzeugt werden}, school = {Fakult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t {W}{\"u}rzburg}, month = dec, year = {1992}, note = {English title: The length of growing grammars that are produced out of quasi-growing ones} } @TechReport{cj96-04-21, author = {Gundula Niemann}, title = {On Weakly Growing Grammars}, year = {1996}, number = {155}, month = oct, institution = {Fakult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t W{\"u}rzburg} } @MastersThesis{cj96-04-22, author = {Gundula Niemann}, type = {Diplomarbeit}, title = {{C}harakterisierungen mit schwach wachsend kontextsensitiven {G}rammatiken}, school = {Fakult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t W{\"u}rzburg}, month = mar, year = {1994}, note = {English title: Characterizations with weakly growing context-sensitive grammars} } @Book{cj96-04-23, author = {Wolfgang J. Paul}, title = {{K}omplexit{\"a}tstheorie}, series = {Teubner Studienb{\"u}cher Informatik}, publisher = {B. G. Teubner}, address = {Stuttgart}, year = {1978}, note = {English title: \emph{Complexity Theory}} } @InProceedings{cj96-04-24, author = {Nicholas Pippenger}, title = {On simultaneous resource bounds}, booktitle = {Proceedings of the 20th Annual Symposium on Foundations of Computer Science}, organization = {Institute of Electrical and Electronics Engineers}, publisher = {IEEE Computer Society Press}, address = {Washington, D. C.}, year = {1979} } @Book{cj96-04-25, author = {K.~R{\"u}diger Reischuk}, title = {{E}inf{\"u}hrung in die {K}omplexit{\"a}tstheorie}, publisher = {B. G. Teubner}, address = {Stuttgart}, series = {Leitf{\"a}den und Monographien der Informatik}, year = {1990} } @Article{cj96-04-26, author = {Walter L. Ruzzo}, title = {Tree-Size Bounded Alternation}, journal = {Journal of Computer and System Sciences}, volume = {21}, number = {2}, pages = {218--235}, year = {1980} } @Book{cj96-04-27, author = {Arto Salomaa}, language = {USenglish}, title = {Formal Languages}, publisher = {Academic Press}, address = {New York}, note = {German translation: \cite{cj96-04-28}}, year = {1973}, } @Book{cj96-04-28, author = {Arto Salomaa}, language = {german}, title = {{F}ormale {S}prachen}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg, New York}, note = {The English original appeared as \cite{cj96-04-27}}, year = {1978} } @Book{cj96-04-29, author = {Raymond M. Smullyan}, language = {USenglish}, title = {Theory of Formal Systems}, series = {Annals of Mathematical Studies}, volume = {47}, publisher = {Princeton University Press}, address = {Princeton, New Jersey}, year = {1961} } @Article{cj96-04-30, author = {Ivan H. Sudborough}, title = {On the Tape Complexity of Deterministic Context-Free Languages}, journal = {Journal of the ACM}, volume = {25}, number = {3}, pages = {405--414}, year = {1978} } @MastersThesis{cj96-04-31, author = {Carmen Schwenkel}, title = {{E}inige komplexit{\"a}tstheoretische {U}ntersuchungen kontextsensitiver {G}rammatiken mit {B}ewertungsfunktionen}, type = {Studienarbeit}, school = {Fakult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t W{\"u}rzburg}, month = jun, year = {1992}, note = {English title: Some complexity theoretical investigations of context-sensitive grammars with valuation functions} } @MastersThesis{cj96-04-32, author = {Carmen Schwenkel}, title = {{E}igenschaften schwach wachsend kontextsensitiver {S}prachen}, type = {Diplomarbeit}, school = {Fakult{\"a}t f{\"u}r {M}athematik und {I}nformatik, {U}niversit{\"a}t W{\"u}rzburg}, month = aug, year = {1993}, note = {English title: Properties of weakly growing context-sensitive languages} } @Article{cj96-04-33, author = {Alan Mathison Turing}, title = {On Computable Numbers, with an Application to the {E}ntscheidungsproblem}, journal = {Proceedings of the London Mathematical Society}, series = {2}, volume = {42}, number = {2144}, pages = {230--265}, year = {1936}, note = {A correction to this paper appeared in the same periodical, series 2, 43(2198):544--546, 1937} } @Book{cj96-04-34, author = {Klaus W. Wagner and Gerd Wechsung}, title = {Computational Complexity}, publisher = {VEB Deutscher Verlag der Wissenschaften and Reidel Verlag}, address = {Berlin}, year = {1986} }