Search dblp for Publications

export results for "toc:db/journals/iandc/iandc61.bht:"

 download as .bib file

@article{DBLP:journals/iandc/BeeriV84,
  author       = {Catriel Beeri and
                  Moshe Y. Vardi},
  title        = {On Acyclic Database Decompositions},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {75--84},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80051-0},
  doi          = {10.1016/S0019-9958(84)80051-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BeeriV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Broy84,
  author       = {Manfred Broy},
  title        = {Semantics of Communicating Processes},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {3},
  pages        = {202--246},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80048-0},
  doi          = {10.1016/S0019-9958(84)80048-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Broy84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CoffmanG84,
  author       = {Edward G. Coffman Jr. and
                  Edgar N. Gilbert},
  title        = {Dynamic, First-Fit Packings in Two or More Dimensions},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {1},
  pages        = {1--14},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80059-5},
  doi          = {10.1016/S0019-9958(84)80059-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CoffmanG84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Doberkat84,
  author       = {Ernst{-}Erich Doberkat},
  title        = {An Average Case Analysis of Floyd's Algorithm to Construct Heaps},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {114--131},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80053-4},
  doi          = {10.1016/S0019-9958(84)80053-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Doberkat84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EmersonS84,
  author       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Deciding Full Branching Time Logic},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {3},
  pages        = {175--201},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80047-9},
  doi          = {10.1016/S0019-9958(84)80047-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EmersonS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EvenSY84,
  author       = {Shimon Even and
                  Alan L. Selman and
                  Yacov Yacobi},
  title        = {The Complexity of Promise Problems with Applications to Public-Key
                  Cryptography},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {159--173},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80056-X},
  doi          = {10.1016/S0019-9958(84)80056-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EvenSY84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FengT84,
  author       = {Gui Liang Feng and
                  Kenneth K. Tzeng},
  title        = {On Quasi-Perfect Property of Double-Error-Correcting Goppa Codes and
                  Their Complete Decoding},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {132--146},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80054-6},
  doi          = {10.1016/S0019-9958(84)80054-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FengT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GurevichL84,
  author       = {Yuri Gurevich and
                  Harry R. Lewis},
  title        = {A Logic for Constant-Depth Circuits},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {1},
  pages        = {65--74},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80062-5},
  doi          = {10.1016/S0019-9958(84)80062-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GurevichL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Levin84,
  author       = {Leonid A. Levin},
  title        = {Randomness Conservation Inequalities; Information and Independence
                  in Mathematical Theories},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {1},
  pages        = {15--37},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80060-1},
  doi          = {10.1016/S0019-9958(84)80060-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Levin84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MohanFS84,
  author       = {C. Mohan and
                  Donald S. Fussell and
                  Abraham Silberschatz},
  title        = {Compatibility and Commutativity of Lock Modes},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {1},
  pages        = {38--64},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80061-3},
  doi          = {10.1016/S0019-9958(84)80061-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MohanFS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Niwinski84,
  author       = {Damian Niwinski},
  title        = {Fixed-Point Characterization of Context-Free {\textbackslash}infty-Languages},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {3},
  pages        = {247--276},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80049-2},
  doi          = {10.1016/S0019-9958(84)80049-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Niwinski84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Schmitt84,
  author       = {Peter H. Schmitt},
  title        = {Diamond Formulas: {A} Fragment of Dynamic Logic with Recursively Enumerable
                  Validity Problem},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {147--158},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80055-8},
  doi          = {10.1016/S0019-9958(84)80055-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Schmitt84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ThiagarajanV84,
  author       = {P. S. Thiagarajan and
                  K. Vos},
  title        = {A Fresh Look at Free Choice Nets},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {85--113},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80052-2},
  doi          = {10.1016/S0019-9958(84)80052-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ThiagarajanV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/YamasakiD84,
  author       = {Susumu Yamasaki and
                  Shuji Doshita},
  title        = {Erratum: The Satisfiability Problem for a Class Consisting of Horn
                  Sentences and Non-Horn Sentences in Proportional Logic},
  journal      = {Inf. Control.},
  volume       = {61},
  number       = {2},
  pages        = {174},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80057-1},
  doi          = {10.1016/S0019-9958(84)80057-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/YamasakiD84.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.