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}
}
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.