Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Arfi91,
  author       = {Mustapha Arfi},
  title        = {Op{\'{e}}rations polynomiales et hi{\'{e}}rarchies de concat{\'{e}}nation},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {71--84},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90268-7},
  doi          = {10.1016/0304-3975(91)90268-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Arfi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BunemanJO91,
  author       = {Peter Buneman and
                  Achim Jung and
                  Atsushi Ohori},
  title        = {Using Powerdomains to Generalize Relational Databases},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {23--55},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90266-5},
  doi          = {10.1016/0304-3975(91)90266-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BunemanJO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CulikD91,
  author       = {Karel Cul{\'{\i}}k II and
                  Simant Dube},
  title        = {An Efficient Solution of the Firing Mob Problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {57--69},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90267-6},
  doi          = {10.1016/0304-3975(91)90267-6},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CulikD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hashiguchi91a,
  author       = {Kosaburo Hashiguchi},
  title        = {Algorithms for Determining Relative Inclusion Star Height and Inclusion
                  Star Height},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {85--100},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90269-8},
  doi          = {10.1016/0304-3975(91)90269-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hashiguchi91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KearneyS91,
  author       = {Peter Kearney and
                  John Staples},
  title        = {An Extensional Fixed-Point Semantics for Nondeterministic Data Flow},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {129--179},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90082-D},
  doi          = {10.1016/0304-3975(91)90082-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KearneyS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kinber91,
  author       = {Efim B. Kinber},
  title        = {On Complete Sets of Samples for Generalized Regular Expressions},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {101--117},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90270-C},
  doi          = {10.1016/0304-3975(91)90270-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kinber91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KnijnenburgL91,
  author       = {Peter M. W. Knijnenburg and
                  Jan van Leeuwen},
  title        = {On Models for Propositional Dynamic Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {181--203},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90083-E},
  doi          = {10.1016/0304-3975(91)90083-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KnijnenburgL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Moews91,
  author       = {David Moews},
  title        = {Sum of Games Born on Days 2 and 3},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {119--128},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90271-3},
  doi          = {10.1016/0304-3975(91)90271-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Moews91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RozoyT91,
  author       = {Brigitte Rozoy and
                  P. S. Thiagarajan},
  title        = {Event Structures and Trace Monoids},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {285--313},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90087-I},
  doi          = {10.1016/0304-3975(91)90087-I},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RozoyT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SrinivasanR91,
  author       = {Aravind Srinivasan and
                  C. Pandu Rangan},
  title        = {Efficient Algorithms for the Minimum Weighted Dominating Clique Problem
                  on Permutation Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {1},
  pages        = {1--21},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90265-4},
  doi          = {10.1016/0304-3975(91)90265-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SrinivasanR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TarleckiBG91,
  author       = {Andrzej Tarlecki and
                  Rod M. Burstall and
                  Joseph A. Goguen},
  title        = {Some Fundamental Algebraic Tools for the Semantics of Computation:
                  Part 3: Indexed Categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {239--264},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90085-G},
  doi          = {10.1016/0304-3975(91)90085-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TarleckiBG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vogler91,
  author       = {Walter Vogler},
  title        = {Executions: {A} New Partial-Order Semantics of Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {205--238},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90084-F},
  doi          = {10.1016/0304-3975(91)90084-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vogler91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Zhang91,
  author       = {Wenhui Zhang},
  title        = {Cut Elimination and Automatic Proof Procedures},
  journal      = {Theor. Comput. Sci.},
  volume       = {91},
  number       = {2},
  pages        = {265--284},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90086-H},
  doi          = {10.1016/0304-3975(91)90086-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang91.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.