Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/Beaudry88,
  author       = {Martin Beaudry},
  title        = {Membership Testing in Commutative Transformation Semigroups},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {84--93},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90018-1},
  doi          = {10.1016/0890-5401(88)90018-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Beaudry88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BensonB88,
  author       = {David B. Benson and
                  Ofer Ben{-}Shachar},
  title        = {Bisimulation of Automata},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {60--83},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90017-X},
  doi          = {10.1016/0890-5401(88)90017-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BensonB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Fulk88,
  author       = {Mark A. Fulk},
  title        = {Saving the Phenomena: Requirements that Inductive Inference Machines
                  Not Contradict Known Data},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {3},
  pages        = {193--209},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90019-3},
  doi          = {10.1016/0890-5401(88)90019-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Fulk88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Gelder88,
  author       = {Allen Van Gelder},
  title        = {A Satisfiability Tester for Non-clausal Propositional Calculus},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {1--21},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90014-4},
  doi          = {10.1016/0890-5401(88)90014-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Gelder88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hortala-Gonzalezlm88,
  author       = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
                  Francisca Lucio{-}Carrasco and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Some General Incompleteness Results for Partial Correctness Logics},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {22--42},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90015-6},
  doi          = {10.1016/0890-5401(88)90015-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hortala-Gonzalezlm88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ItaiR88,
  author       = {Alon Itai and
                  Michael Rodeh},
  title        = {The Multi-Tree Approach to Reliability in Distributed Networks},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {43--59},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90016-8},
  doi          = {10.1016/0890-5401(88)90016-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ItaiR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KoymansSRGA88,
  author       = {Ron Koymans and
                  R. K. Shyamasundar and
                  Willem P. de Roever and
                  Rob Gerth and
                  S. Arun{-}Kumar},
  title        = {Compositional Semantics for Real-Time Distributed Computing},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {3},
  pages        = {210--256},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90020-X},
  doi          = {10.1016/0890-5401(88)90020-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KoymansSRGA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/RinatFG88,
  author       = {Ran Rinat and
                  Nissim Francez and
                  Orna Grumberg},
  title        = {Infinite Trees, Markings and Well-Foundedness},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {2},
  pages        = {131--154},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90035-1},
  doi          = {10.1016/0890-5401(88)90035-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RinatFG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/RobinsonR88,
  author       = {Edmund Robinson and
                  Giuseppe Rosolini},
  title        = {Categories of Partial Maps},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {2},
  pages        = {95--130},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90034-X},
  doi          = {10.1016/0890-5401(88)90034-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RobinsonR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Stohr88,
  author       = {Elena St{\"{o}}hr},
  title        = {A Trade-off between Page Number and Page Width of Book Embeddings
                  of Graphs},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {2},
  pages        = {155--162},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90036-3},
  doi          = {10.1016/0890-5401(88)90036-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Stohr88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Trachtenberg88,
  author       = {Eliezer A. Trachtenberg},
  title        = {Fault Tolerant Computing and Reliable Communication: {A} Unified Approach},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {3},
  pages        = {257--279},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90021-1},
  doi          = {10.1016/0890-5401(88)90021-1},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Trachtenberg88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/TsaknakisP88,
  author       = {Haralampos Tsaknakis and
                  P. Papantoni{-}Kazakos},
  title        = {Outlier Resistent Filtering and Smoothing},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {2},
  pages        = {163--192},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90037-5},
  doi          = {10.1016/0890-5401(88)90037-5},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/TsaknakisP88.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.