Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AdamekRN86,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Jan Reiterman and
                  Evelyn Nelson},
  title        = {Continuous Semilattices},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {293--313},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90182-9},
  doi          = {10.1016/0304-3975(86)90182-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AdamekRN86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AlbertL86,
  author       = {Michael H. Albert and
                  John Lawrence},
  title        = {Test Sets for Finite Substitutions},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {117--122},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90171-4},
  doi          = {10.1016/0304-3975(86)90171-4},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlbertL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BerghammerZ86,
  author       = {Rudolf Berghammer and
                  Hans Zierer},
  title        = {Relational Algebraic Semantics of Deterministic and Nondeterministic
                  Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {123--147},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90172-6},
  doi          = {10.1016/0304-3975(86)90172-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerghammerZ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Clote86,
  author       = {Peter Clote},
  title        = {On the Finite Containment Problem for Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {99--105},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90169-6},
  doi          = {10.1016/0304-3975(86)90169-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Clote86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Edwards86,
  author       = {Keith Edwards},
  title        = {The Complexity of Colouring Problems on Dense Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {337--343},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90184-2},
  doi          = {10.1016/0304-3975(86)90184-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Edwards86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FagesH86,
  author       = {Fran{\c{c}}ois Fages and
                  G{\'{e}}rard P. Huet},
  title        = {Complete Sets of Unifiers and Matchers in Equational Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {189--200},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90175-1},
  doi          = {10.1016/0304-3975(86)90175-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FagesH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GoldschlagerP86,
  author       = {Leslie M. Goldschlager and
                  Ian Parberry},
  title        = {On the Construction of Parallel Computers from Various Bases of Boolean
                  Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {43--58},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90165-9},
  doi          = {10.1016/0304-3975(86)90165-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GoldschlagerP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Grzymala-BusseB86,
  author       = {Jerzy W. Grzymala{-}Busse and
                  Zamir Bavel},
  title        = {Characterization of State-Independent Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {1--10},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90162-3},
  doi          = {10.1016/0304-3975(86)90162-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Grzymala-BusseB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hansel86,
  author       = {Georges Hansel},
  title        = {Une D{\'{e}}monstration Simple du Th{\'{e}}or{\`{e}}me de
                  Skolem-Mahler-Lech},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {91--98},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90168-4},
  doi          = {10.1016/0304-3975(86)90168-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hansel86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Heering86,
  author       = {Jan Heering},
  title        = {Partial Evaluation and omega-Completeness of Algebraic Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {149--167},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90173-8},
  doi          = {10.1016/0304-3975(86)90173-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Heering86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JanickiLKD86,
  author       = {Ryszard Janicki and
                  Peter E. Lauer and
                  Maciej Koutny and
                  Raymond R. Devillers},
  title        = {Concurrent and Maximally Concurrent Evolution of Nonsequential Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {213--238},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90177-5},
  doi          = {10.1016/0304-3975(86)90177-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JanickiLKD86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JerrumVV86,
  author       = {Mark Jerrum and
                  Leslie G. Valiant and
                  Vijay V. Vazirani},
  title        = {Random Generation of Combinatorial Structures from a Uniform Distribution},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {169--188},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90174-X},
  doi          = {10.1016/0304-3975(86)90174-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JerrumVV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Johnson86,
  author       = {Donald B. Johnson},
  title        = {A Simple Proof of a Time-Space Trade-Off for Sorting with Linear Comparisons},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {345--350},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90185-4},
  doi          = {10.1016/0304-3975(86)90185-4},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Johnson86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LandauV86,
  author       = {Gad M. Landau and
                  Uzi Vishkin},
  title        = {Efficient String Matching with k Mismatches},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {239--249},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90178-7},
  doi          = {10.1016/0304-3975(86)90178-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LandauV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lindsay86,
  author       = {Peter A. Lindsay},
  title        = {Alternation and omega-Type Turing Acceptors},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {107--115},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90170-2},
  doi          = {10.1016/0304-3975(86)90170-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lindsay86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LucaR86,
  author       = {Aldo de Luca and
                  Antonio Restivo},
  title        = {Star-Free Sets of Integers},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {265--275},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90180-5},
  doi          = {10.1016/0304-3975(86)90180-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LucaR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Orlowska86,
  author       = {Ewa Orlowska},
  title        = {Semantic Analysis of Inductive Reasoning},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {81--89},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90167-2},
  doi          = {10.1016/0304-3975(86)90167-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Orlowska86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PasztorS86,
  author       = {Ana Pasztor and
                  Richard Statman},
  title        = {Scott Induction and Closure under omega-Sups},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {251--263},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90179-9},
  doi          = {10.1016/0304-3975(86)90179-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PasztorS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Redziejowski86,
  author       = {Roman R. Redziejowski},
  title        = {Infinite-Word Languages and Continuous Mappings},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {59--79},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90166-0},
  doi          = {10.1016/0304-3975(86)90166-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Redziejowski86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ronse86,
  author       = {Christian Ronse},
  title        = {A Topological Characterization of Thinning},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {31--41},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90164-7},
  doi          = {10.1016/0304-3975(86)90164-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ronse86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Saoudi86,
  author       = {Ahmed Saoudi},
  title        = {Vari{\'{e}}t{\'{e}}s d'Automates Descendants d'Arbres Infinis},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {315--335},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90183-0},
  doi          = {10.1016/0304-3975(86)90183-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Saoudi86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Scheuing86,
  author       = {Arnold Scheuing},
  title        = {Decomposition of Linear Automata over Residue Rings Into Shift-Registers},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {11--30},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90163-5},
  doi          = {10.1016/0304-3975(86)90163-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Scheuing86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SuzukiMTKO86,
  author       = {Ichiro Suzuki and
                  Y. Motohashi and
                  Kenichi Taniguchi and
                  Tadao Kasami and
                  Tatsuaki Okamoto},
  title        = {Specification and Verification of Decentralized Daisy Chain Arbiters
                  with omega-Extended Regular Expressions},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {277--291},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90181-7},
  doi          = {10.1016/0304-3975(86)90181-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SuzukiMTKO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wegener86,
  author       = {Ingo Wegener},
  title        = {More on the Complexity of Slice Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {201--211},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90176-3},
  doi          = {10.1016/0304-3975(86)90176-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wegener86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.