Search dblp for Publications

export results for "toc:db/journals/mscs/mscs3.bht:"

 download as .bib file

@article{DBLP:journals/mscs/AbramskyV93,
  author       = {Samson Abramsky and
                  Steven Vickers},
  title        = {Quantales, Observational Logic and Process Semantics},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {161--227},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000189},
  doi          = {10.1017/S0960129500000189},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/AbramskyV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/BackhouseW93,
  author       = {Roland Carl Backhouse and
                  Jaap van der Woude},
  title        = {Demonic Operators and Monotype Factors},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {417--433},
  year         = {1993},
  url          = {https://doi.org/10.1017/S096012950000030X},
  doi          = {10.1017/S096012950000030X},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BackhouseW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Berardi93,
  author       = {Stefano Berardi},
  title        = {An Application of {PER} Models to Program Extraction},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {309--331},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000244},
  doi          = {10.1017/S0960129500000244},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Berardi93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/BloomE93,
  author       = {Stephen L. Bloom and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Equational Axioms for Regular Sets},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {1--24},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000104},
  doi          = {10.1017/S0960129500000104},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BloomE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Cockett93,
  author       = {J. Robin B. Cockett},
  title        = {Introduction to Distributive Categories},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {277--307},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000232},
  doi          = {10.1017/S0960129500000232},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Cockett93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/DrosteG93,
  author       = {Manfred Droste and
                  R{\"{u}}diger G{\"{o}}bel},
  title        = {Universal Domains and the Amalgamation Property},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {137--159},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000177},
  doi          = {10.1017/S0960129500000177},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/DrosteG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Ehrhard93,
  author       = {Thomas Ehrhard},
  title        = {Hypercoherences: {A} Strongly Stable Model of Linear Logic},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {365--385},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000281},
  doi          = {10.1017/S0960129500000281},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Ehrhard93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Hoofman93,
  author       = {Raymond Hoofman},
  title        = {The Theory of Semi-Functors},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {93--128},
  year         = {1993},
  url          = {https://doi.org/10.1017/S096012950000013X},
  doi          = {10.1017/S096012950000013X},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Hoofman93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Lambek93,
  author       = {Joachim Lambek},
  title        = {Least Fixpoints of Endofunctors of Cartesian Closed Categories},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {229--257},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000190},
  doi          = {10.1017/S0960129500000190},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Lambek93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Luo93,
  author       = {Zhaohui Luo},
  title        = {Program Specification and Data Refinement in Type Theory},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {3},
  pages        = {333--363},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000256},
  doi          = {10.1017/S0960129500000256},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Luo93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/OHearn93,
  author       = {Peter W. O'Hearn},
  title        = {A Model for Syntactic Control of Interference},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {435--465},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000311},
  doi          = {10.1017/S0960129500000311},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/OHearn93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Obtulowicz93,
  author       = {Adam Obtulowicz},
  title        = {Algebra of Constructsion {II:} An Algebraic Approach to Martin-L{\"{o}}f
                  Theory and the Calculus of Constructions},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {63--92},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000128},
  doi          = {10.1017/S0960129500000128},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Obtulowicz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Riecke93,
  author       = {Jon G. Riecke},
  title        = {Fully Abstract Translations Between Functional Languages},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {4},
  pages        = {387--415},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000293},
  doi          = {10.1017/S0960129500000293},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Riecke93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Roziere93,
  author       = {Paul Rozi{\`{e}}re},
  title        = {Admissible and Derivable Rules in Intuitionistic Logic},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {129--136},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000165},
  doi          = {10.1017/S0960129500000165},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Roziere93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Troeger93,
  author       = {Douglas R. Troeger},
  title        = {Step Bisimulation is Pomset Equivalence on a Parallel Language Without
                  Explicit Internal Choice},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {1},
  pages        = {25--62},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000116},
  doi          = {10.1017/S0960129500000116},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Troeger93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/Zhang93,
  author       = {Guo{-}Qiang Zhang},
  title        = {Some Monoidal Closed Categories of Stable Domains and Event Structures},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {3},
  number       = {2},
  pages        = {259--276},
  year         = {1993},
  url          = {https://doi.org/10.1017/S0960129500000207},
  doi          = {10.1017/S0960129500000207},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Zhang93.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.