Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/BurnsL93,
  author       = {James E. Burns and
                  Nancy A. Lynch},
  title        = {Bounds on Shared Memory for Mutual Exclusion},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {171--184},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1065},
  doi          = {10.1006/INCO.1993.1065},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BurnsL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Devolder93,
  author       = {Jeanne Devolder},
  title        = {Precircular Codes and Periodic Biinfinite Words},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {185--201},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1066},
  doi          = {10.1006/INCO.1993.1066},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Devolder93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FreivaldsS93,
  author       = {Rusins Freivalds and
                  Carl H. Smith},
  title        = {On the Role of Procrastination in Machine Learning},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {237--271},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1068},
  doi          = {10.1006/INCO.1993.1068},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FreivaldsS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GoodrichAO93,
  author       = {Michael T. Goodrich and
                  Mikhail J. Atallah and
                  Mark H. Overmars},
  title        = {Output-Sensitive Methods for Rectilinear Hidden Surface Removal},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {1--24},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1059},
  doi          = {10.1006/INCO.1993.1059},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GoodrichAO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GunterGM93,
  author       = {Carl A. Gunter and
                  Elsa L. Gunter and
                  David B. MacQueen},
  title        = {Computing {ML} Equality Kinds Using Abstract Interpretation},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {303--323},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1070},
  doi          = {10.1006/INCO.1993.1070},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GunterGM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HennessyI93,
  author       = {Matthew Hennessy and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {A Theory of Communicating Processes with Value Passing},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {202--236},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1067},
  doi          = {10.1006/INCO.1993.1067},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HennessyI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JonssonP93,
  author       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Deciding Bisimulation Equivalences for a Class of Non-Finite-State
                  Programs},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {2},
  pages        = {272--302},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1069},
  doi          = {10.1006/INCO.1993.1069},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/JonssonP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KlarlundS93,
  author       = {Nils Klarlund and
                  Fred B. Schneider},
  title        = {Proving Nondeterministically Specified Safety Properties Using Progress
                  Measures},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {151--170},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1064},
  doi          = {10.1006/INCO.1993.1064},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KlarlundS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Kuper93,
  author       = {Jan Kuper},
  title        = {An Axiomatic Theory for Partial Functions},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {104--150},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1063},
  doi          = {10.1006/INCO.1993.1063},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kuper93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/OHearnT93,
  author       = {Peter W. O'Hearn and
                  Robert D. Tennent},
  title        = {Semantical Analysis of Specification Logic, 2},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {25--57},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1060},
  doi          = {10.1006/INCO.1993.1060},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OHearnT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PacholskiS93,
  author       = {Leszek Pacholski and
                  Wieslaw Szwast},
  title        = {A Counterexample to the 0-1 Law for the Class of Existential Second-Order
                  Minimal G{\"{o}}del Sentences with Equality},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {91--103},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1062},
  doi          = {10.1006/INCO.1993.1062},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PacholskiS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Parrow93,
  author       = {Joachim Parrow},
  title        = {Structural and Behavioural Equivalences of Networks},
  journal      = {Inf. Comput.},
  volume       = {107},
  number       = {1},
  pages        = {58--90},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1061},
  doi          = {10.1006/INCO.1993.1061},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Parrow93.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.