Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/Beame88,
  author    = {Paul Beame},
  title     = {Limits on the Power of Concurrent-Write Parallel Machines},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {1},
  pages     = {13--28},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90040-5},
  doi       = {10.1016/0890-5401(88)90040-5},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Beame88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Cardelli88,
  author    = {Luca Cardelli},
  title     = {A Semantics of Multiple Inheritance},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {138--164},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90007-7},
  doi       = {10.1016/0890-5401(88)90007-7},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/Cardelli88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CoquandH88,
  author    = {Thierry Coquand and
               G{\'{e}}rard P. Huet},
  title     = {The Calculus of Constructions},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {95--120},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90005-3},
  doi       = {10.1016/0890-5401(88)90005-3},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/CoquandH88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LampsonB88,
  author    = {Butler W. Lampson and
               Rod M. Burstall},
  title     = {Pebble, a Kernel Language for Modules and Abstract Data Types},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {278--346},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90011-9},
  doi       = {10.1016/0890-5401(88)90011-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/LampsonB88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Mitchell88,
  author    = {John C. Mitchell},
  title     = {Polymorphic Type Inference and Containment},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {211--249},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90009-0},
  doi       = {10.1016/0890-5401(88)90009-0},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Mitchell88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Moggi88,
  author    = {Eugenio Moggi},
  title     = {Partial Morphisms in Categories of Effective Objects},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {250--277},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90010-7},
  doi       = {10.1016/0890-5401(88)90010-7},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Moggi88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Nielson88,
  author    = {Flemming Nielson},
  title     = {Strictness Analysis and Denotational Abstract Interpretation},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {1},
  pages     = {29--92},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90041-7},
  doi       = {10.1016/0890-5401(88)90041-7},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Nielson88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Padawitz88,
  author    = {Peter Padawitz},
  title     = {The Equational Theory of Parameterized Specifications},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {121--137},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90006-5},
  doi       = {10.1016/0890-5401(88)90006-5},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Padawitz88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Plotkin88,
  author    = {Gordon D. Plotkin},
  title     = {Preface},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {93},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90004-1},
  doi       = {10.1016/0890-5401(88)90004-1},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Plotkin88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SannellaT88,
  author    = {Donald Sannella and
               Andrzej Tarlecki},
  title     = {Specifications in an Arbitrary Institution},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {2/3},
  pages     = {165--210},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90008-9},
  doi       = {10.1016/0890-5401(88)90008-9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/SannellaT88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Spirakis88,
  author    = {Paul G. Spirakis},
  title     = {Optimal Parallel Randomized Algorithms for Addition Sparse Addition
               and Identification},
  journal   = {Inf. Comput.},
  volume    = {76},
  number    = {1},
  pages     = {1--12},
  year      = {1988},
  url       = {https://doi.org/10.1016/0890-5401(88)90039-9},
  doi       = {10.1016/0890-5401(88)90039-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iandc/Spirakis88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics