Search dblp for Publications

export results for "toc:db/journals/jcss/jcss34.bht:"

 download as .bib file

@article{DBLP:journals/jcss/Abrahamson87,
  author       = {Karl R. Abrahamson},
  title        = {Succinct Representation of Regular Sets Using Gotos and Boolean Variables},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {129--148},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90008-0},
  doi          = {10.1016/0022-0000(87)90008-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Abrahamson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Amir87,
  author       = {Amihood Amir},
  title        = {Expressive Completeness Failure in Branching Time Structures},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {27--42},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90003-1},
  doi          = {10.1016/0022-0000(87)90003-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Amir87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BlumEP87,
  author       = {Edward K. Blum and
                  Hartmut Ehrig and
                  Francesco Parisi{-}Presicce},
  title        = {Algebraic Specification of Modules and Their Basic Interconnections},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {293--339},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90028-6},
  doi          = {10.1016/0022-0000(87)90028-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BlumEP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BoehmFH87,
  author       = {Paul Boehm and
                  Harald{-}Reto Fonio and
                  Annegret Habel},
  title        = {Amalgamation of Graph Transformations: {A} Synchronization Mechanism},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {377--408},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90030-4},
  doi          = {10.1016/0022-0000(87)90030-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BoehmFH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Broy87,
  author       = {Manfred Broy},
  title        = {Specification and Top-Down Design of Distributed Systems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {236--265},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90026-2},
  doi          = {10.1016/0022-0000(87)90026-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Broy87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Burstall87,
  author       = {Rod M. Burstall},
  title        = {Inductively Defined Functions in Functional Programming Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {409--421},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90031-6},
  doi          = {10.1016/0022-0000(87)90031-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Burstall87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/CantoneFS87,
  author       = {Domenico Cantone and
                  Alfredo Ferro and
                  Jacob T. Schwartz},
  title        = {Decision Procedures for Elementary Sublanguages of Set Theory. V.
                  Multilevel Syllogistic Extended by the General Union Operator},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {1--18},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90001-8},
  doi          = {10.1016/0022-0000(87)90001-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CantoneFS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Castellani87,
  author       = {Ilaria Castellani},
  title        = {Bisimulations and Abstraction Homomorphisms},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {210--235},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90025-0},
  doi          = {10.1016/0022-0000(87)90025-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/Castellani87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/DeganoM87,
  author       = {Pierpaolo Degano and
                  Ugo Montanari},
  title        = {Concurrent Histories: {A} Basis for Observing Distributed Systems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {422--461},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90032-8},
  doi          = {10.1016/0022-0000(87)90032-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DeganoM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Frederickson87,
  author       = {Greg N. Frederickson},
  title        = {Upper Bounds for Time-Space Trade-Offs in Sorting and Selection},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {19--26},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90002-X},
  doi          = {10.1016/0022-0000(87)90002-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Frederickson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/HowellR87,
  author       = {Rodney R. Howell and
                  Louis E. Rosier},
  title        = {An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded
                  Multicounter Machines},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {55--74},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90005-5},
  doi          = {10.1016/0022-0000(87)90005-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HowellR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/KoH87,
  author       = {Ker{-}I Ko and
                  Chin{-}Ming Hua},
  title        = {A Note on the Two-Variable Pattern-Finding Problem},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {75--86},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90006-7},
  doi          = {10.1016/0022-0000(87)90006-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KoH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Makowsky87,
  author       = {Johann A. Makowsky},
  title        = {Why Horn Formulas Matter in Computer Science: Initial Structures and
                  Generic Examples},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {266--292},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90027-4},
  doi          = {10.1016/0022-0000(87)90027-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Makowsky87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Mirzaian87,
  author       = {Andranik Mirzaian},
  title        = {River Routing in {VLSI}},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {43--54},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90004-3},
  doi          = {10.1016/0022-0000(87)90004-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Mirzaian87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Padawitz87,
  author       = {Peter Padawitz},
  title        = {Parameter-Preserving Data Type Specifications},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {179--209},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90024-9},
  doi          = {10.1016/0022-0000(87)90024-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Padawitz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/PoigneV87,
  author       = {Axel Poign{\'{e}} and
                  Josef Voss},
  title        = {On the Implementation of Abstract Data Types by Programming Language
                  Constructs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {340--376},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90029-8},
  doi          = {10.1016/0022-0000(87)90029-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/PoigneV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/SannellaT87,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {On Observational Equivalence and Algebraic Specification},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {2/3},
  pages        = {150--178},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90023-7},
  doi          = {10.1016/0022-0000(87)90023-7},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/SannellaT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Vogler87,
  author       = {Heiko Vogler},
  title        = {Basic Tree Transducers},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {34},
  number       = {1},
  pages        = {87--128},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90007-9},
  doi          = {10.1016/0022-0000(87)90007-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Vogler87.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.