Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AcetoI96,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {{CPO} Models for Compact {GSOS} Languages},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {2},
  pages        = {107--141},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0077},
  doi          = {10.1006/INCO.1996.0077},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AcetoI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AnoulovaFPS96,
  author       = {Svetlana Anoulova and
                  Paul Fischer and
                  Stefan P{\"{o}}lt and
                  Hans Ulrich Simon},
  title        = {Probably Almost Bayes Decisions},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {1},
  pages        = {63--71},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0074},
  doi          = {10.1006/INCO.1996.0074},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AnoulovaFPS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ApsitisFS96,
  author       = {Kalvis Apsitis and
                  Rusins Freivalds and
                  Carl H. Smith},
  title        = {On Duality in Learning and the Selection of Learning Terms},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {1},
  pages        = {53--62},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0073},
  doi          = {10.1006/INCO.1996.0073},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ApsitisFS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AtenieseBSS96,
  author       = {Giuseppe Ateniese and
                  Carlo Blundo and
                  Alfredo De Santis and
                  Douglas R. Stinson},
  title        = {Visual Cryptography for General Access Structures},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {2},
  pages        = {86--106},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0076},
  doi          = {10.1006/INCO.1996.0076},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AtenieseBSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Dam96,
  author       = {Mads Dam},
  title        = {Model Checking Mobile Processes},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {1},
  pages        = {35--51},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0072},
  doi          = {10.1006/INCO.1996.0072},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Dam96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hella96,
  author       = {Lauri Hella},
  title        = {Logical Hierarchies in {PTIME}},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {1},
  pages        = {1--19},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0070},
  doi          = {10.1006/INCO.1996.0070},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hella96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JennerMT96,
  author       = {Birgit Jenner and
                  Pierre McKenzie and
                  Denis Th{\'{e}}rien},
  title        = {Logspace and Logtime Leaf Languages},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {1},
  pages        = {21--33},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0071},
  doi          = {10.1006/INCO.1996.0071},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JennerMT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Mingyi96,
  author       = {Mingyi Zhang},
  title        = {A New Research into Default Logic},
  journal      = {Inf. Comput.},
  volume       = {129},
  number       = {2},
  pages        = {73--85},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0075},
  doi          = {10.1006/INCO.1996.0075},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Mingyi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}