default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs72.bht:"
@article{DBLP:journals/tcs/AusielloN90, author = {Giorgio Ausiello and Umberto Nanni}, title = {Dynamic Maintenance of Directed Hypergraphs}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {97--117}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90030-L}, doi = {10.1016/0304-3975(90)90030-L}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AusielloN90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Budach90, author = {Lothar Budach}, title = {Topological Invariants of Classification Problems}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {3--26}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90043-H}, doi = {10.1016/0304-3975(90)90043-H}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Budach90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CarpiL90, author = {Arturo Carpi and Aldo de Luca}, title = {Non-Repetitive Words Relative to a Rewriting System}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {39--53}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90045-J}, doi = {10.1016/0304-3975(90)90045-J}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CarpiL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Echahed90, author = {Rachid Echahed}, title = {On Completeness of Narrowing Strategies}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {133--146}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90032-D}, doi = {10.1016/0304-3975(90)90032-D}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Echahed90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Engeler90, author = {Erwin Engeler}, title = {Combinatory Differential Fields}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {119--131}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90031-C}, doi = {10.1016/0304-3975(90)90031-C}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Engeler90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FranconRS90, author = {Jean Fran{\c{c}}on and B. Randrianarimanana and Ren{\'{e}} Schott}, title = {Analysis of Dynamic Algorithms in Knuth's Model}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {147--167}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90033-E}, doi = {10.1016/0304-3975(90)90033-E}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FranconRS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GnaedigKK90, author = {Isabelle Gnaedig and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {Equational Completion in Order-Sorted Algebras}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {169--202}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90034-F}, doi = {10.1016/0304-3975(90)90034-F}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GnaedigKK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GorrieriMM90, author = {Roberto Gorrieri and Sergio Marchetti and Ugo Montanari}, title = {{A2CCKS:} Atomic Actions for {CCS}}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {203--223}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90035-G}, doi = {10.1016/0304-3975(90)90035-G}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GorrieriMM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Hashiguchi90, author = {Kosaburo Hashiguchi}, title = {Improved Limitedness Theorems on Finite Automata with Distance Functions}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {27--38}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90044-I}, doi = {10.1016/0304-3975(90)90044-I}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Hashiguchi90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Kennaway90, author = {Richard Kennaway}, title = {Implementing Term Rewrite Languages in Dactl}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {225--249}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90036-H}, doi = {10.1016/0304-3975(90)90036-H}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Kennaway90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleinW90, author = {Rolf Klein and Derick Wood}, title = {A Tight Upper Bound for the Path Length of {AVL} Trees}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {251--264}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90037-I}, doi = {10.1016/0304-3975(90)90037-I}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KleinW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Larsen90, author = {Kim Guldstrand Larsen}, title = {Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {265--288}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90038-J}, doi = {10.1016/0304-3975(90)90038-J}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Larsen90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Restivo90, author = {Antonio Restivo}, title = {Codes and Local Constraints}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {55--64}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90046-K}, doi = {10.1016/0304-3975(90)90046-K}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Restivo90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Simon90, author = {Imre Simon}, title = {Factorization Forests of Finite Height}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {65--94}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90047-L}, doi = {10.1016/0304-3975(90)90047-L}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Simon90.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.