Search dblp for Publications

export results for "toc:db/journals/tcs/tcs14.bht:"

 download as .bib file

@article{DBLP:journals/tcs/Beauquier81,
  author       = {Joffroy Beauquier},
  title        = {Substitution of Semi-AFL'S},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {187--193},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90056-6},
  doi          = {10.1016/0304-3975(81)90056-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Beauquier81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bucher81,
  author       = {Walter Bucher},
  title        = {A Note on a Problem in the Theory of Grammatical Complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {337--344},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90050-5},
  doi          = {10.1016/0304-3975(81)90050-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bucher81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BucherMCW81,
  author       = {Walter Bucher and
                  Hermann A. Maurer and
                  Karel Cul{\'{\i}}k II and
                  Detlef Wotschke},
  title        = {Concise Description of Finite Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {227--246},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90044-X},
  doi          = {10.1016/0304-3975(81)90044-X},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BucherMCW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CallegarinP81,
  author       = {G. Callegarin and
                  Giuliano Pacini},
  title        = {About the Implementability and the Power of Equationally Defined Data
                  Abstractions},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {305--315},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90048-7},
  doi          = {10.1016/0304-3975(81)90048-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CallegarinP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Galil81,
  author       = {Zvi Galil},
  title        = {On the Theoretical Efficiency of Various Network Flow Algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {103--111},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90008-6},
  doi          = {10.1016/0304-3975(81)90008-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Galil81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gallier81b,
  author       = {Jean H. Gallier},
  title        = {DPDA's in 'Atomic Normal Form' and Applications to Equivalence Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {155--186},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90055-4},
  doi          = {10.1016/0304-3975(81)90055-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gallier81b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gato81,
  author       = {Georg Gato},
  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},
  url          = {https://doi.org/10.1016/0304-3975(81)90002-5},
  doi          = {10.1016/0304-3975(81)90002-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gato81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jantzen81,
  author       = {Matthias Jantzen},
  title        = {The Power of Synchronizing Operations on Strings},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {127--154},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90054-2},
  doi          = {10.1016/0304-3975(81)90054-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jantzen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jensen81,
  author       = {Kurt Jensen},
  title        = {Coloured Petri Nets and the Invariant-Method},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {317--336},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90049-9},
  doi          = {10.1016/0304-3975(81)90049-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jensen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KozenP81,
  author       = {Dexter Kozen and
                  Rohit Parikh},
  title        = {An Elementary Proof of the Completness of {PDL}},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {113--118},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90019-0},
  doi          = {10.1016/0304-3975(81)90019-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KozenP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Latteux81,
  author       = {Michel Latteux},
  title        = {A Propos du Lemme de Substitution},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {119--123},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90020-7},
  doi          = {10.1016/0304-3975(81)90020-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Latteux81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Leiss81a,
  author       = {Ernst L. Leiss},
  title        = {On Generalized Language Equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {63--77},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90005-0},
  doi          = {10.1016/0304-3975(81)90005-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Leiss81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Long81,
  author       = {Timothy J. Long},
  title        = {On gamma-Reducibility Versus Polynomial Time Many-One Reducibility},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {91--101},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90007-4},
  doi          = {10.1016/0304-3975(81)90007-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Long81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MaruokaKS81,
  author       = {Akira Maruoka and
                  Masayuki Kimura and
                  Nobuyoshi Shoji},
  title        = {Pattern Decomposition for Tessellation Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {211--226},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90043-8},
  doi          = {10.1016/0304-3975(81)90043-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MaruokaKS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Monting81,
  author       = {J{\"{u}}rgen Schulte M{\"{o}}nting},
  title        = {Merging of 4 or 5 Elements with n Elements},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {19--37},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90003-7},
  doi          = {10.1016/0304-3975(81)90003-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Monting81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Moran81,
  author       = {Shlomo Moran},
  title        = {General Approximation Algorithms for some Arithmetical Combinatorial
                  Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {289--303},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90047-5},
  doi          = {10.1016/0304-3975(81)90047-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Moran81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NishitaniH81,
  author       = {Yasuaki Nishitani and
                  Namio Honda},
  title        = {The Firing Squad Synchronization Problem for Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {39--61},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90004-9},
  doi          = {10.1016/0304-3975(81)90004-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NishitaniH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rosenthal81,
  author       = {Arnon Rosenthal},
  title        = {Optimal Algorithms for Sensitivity Analysis in Associative Multiplication
                  Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {79--90},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90006-2},
  doi          = {10.1016/0304-3975(81)90006-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rosenthal81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RozenbergV81,
  author       = {Grzegorz Rozenberg and
                  R. Verraedt},
  title        = {On Pure, Terminal Invariant and Nonterminal Invariant Interpretations
                  of {E0L} Forms},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {267--288},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90046-3},
  doi          = {10.1016/0304-3975(81)90046-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RozenbergV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/StoklosaZ81,
  author       = {Janusz Stoklosa and
                  Wojciech Zakowski},
  title        = {Computations of (alpha, k)-Machines},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {247--265},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90045-1},
  doi          = {10.1016/0304-3975(81)90045-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/StoklosaZ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Therien81,
  author       = {Denis Th{\'{e}}rien},
  title        = {Classification of Finite Monoids: The Language Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {14},
  pages        = {195--208},
  year         = {1981},
  url          = {https://doi.org/10.1016/0304-3975(81)90057-8},
  doi          = {10.1016/0304-3975(81)90057-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Therien81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.