Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs6.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BartheHS97,
author = {Gilles Barthe and
John Hatcliff and
Morten Heine S{\o}rensen},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A notion of classical pure type system},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {4--59},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80170-7},
doi = {10.1016/S1571-0661(05)80170-7},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartheHS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerG97,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Infinite computations in concurrent constraint programming},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {103--118},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80167-7},
doi = {10.1016/S1571-0661(05)80167-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoerG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Breugel97,
author = {Franck van Breugel},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Failures, finiteness and full abstraction},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {391--408},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80147-1},
doi = {10.1016/S1571-0661(05)80147-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Breugel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Brookes97,
author = {Stephen D. Brookes},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Idealized {CSP:} combining procedures with communicating processes},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {60--76},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80169-0},
doi = {10.1016/S1571-0661(05)80169-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brookes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrookesMMM97,
author = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Foreword},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {1--2},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80172-0},
doi = {10.1016/S1571-0661(05)80172-0},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrookesMMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cousot97,
author = {Patrick Cousot},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Constructive design of a hierarchy of semantics of a transition system
by abstract interpretation},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {77--102},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80168-9},
doi = {10.1016/S1571-0661(05)80168-9},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cousot97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdalatP97,
author = {Abbas Edalat and
Peter John Potts},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A new representation for exact real numbers},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {119--132},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80166-5},
doi = {10.1016/S1571-0661(05)80166-5},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdalatP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FioreR97,
author = {Marcelo P. Fiore and
Giuseppe Rosolini},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {The category of cpos from a synthetic viewpoint},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {133--150},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80165-3},
doi = {10.1016/S1571-0661(05)80165-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FioreR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlaggK97,
author = {Bob Flagg and
Ralph Kopperman},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Computational models for ultrametric spaces},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {151--159},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80164-1},
doi = {10.1016/S1571-0661(05)80164-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlaggK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heckmann97,
author = {Reinhold Heckmann},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Abstract valuations: {A} novel representation of Plotkin power domain
and Vietoris hyperspace},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {160--173},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80163-X},
doi = {10.1016/S1571-0661(05)80163-X},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heckmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuJ97,
author = {Hongde Hu and
Andr{\'{e}} Joyal},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Coherence completions of categories and their enriched softness},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {174--190},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80162-8},
doi = {10.1016/S1571-0661(05)80162-8},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Huth97,
author = {Michael Huth},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A powerdomain of possibility measures},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {191--202},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80161-6},
doi = {10.1016/S1571-0661(05)80161-6},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Huth97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JungKM97,
author = {Achim Jung and
Mathias Kegelmann and
M. Andrew Moshier},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Multi lingual sequent calculus and coherent spaces},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {203--220},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80160-4},
doi = {10.1016/S1571-0661(05)80160-4},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JungKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KanovichOS97,
author = {Max I. Kanovich and
Mitsuhiro Okada and
Andre Scedrov},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Phase semantics for light linear logic},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {221--234},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80159-8},
doi = {10.1016/S1571-0661(05)80159-8},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KanovichOS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KinoshitaPT97,
author = {Yoshiki Kinoshita and
John Power and
Makoto Takeyama},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {235--248},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80158-6},
doi = {10.1016/S1571-0661(05)80158-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KinoshitaPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MakkaiR97,
author = {Michael Makkai and
Giuseppe Rosolini},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Studying repleteness in the category of cpos},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {249--254},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80157-4},
doi = {10.1016/S1571-0661(05)80157-4},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MakkaiR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mislove97,
author = {Michael W. Mislove},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Using duality to solve domain equations},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {255--271},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80156-2},
doi = {10.1016/S1571-0661(05)80156-2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mislove97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moggi97,
author = {Eugenio Moggi},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A categorical account of two-level languages},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {272},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80155-0},
doi = {10.1016/S1571-0661(05)80155-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moggi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Older97,
author = {Susan Older},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A Framework for Fair Communicating Processes},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {273--292},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80154-9},
doi = {10.1016/S1571-0661(05)80154-9},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Older97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Power97,
author = {John Power},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Modularity in denotational semantics},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {293--307},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80153-7},
doi = {10.1016/S1571-0661(05)80153-7},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Power97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pratt97,
author = {Vaughan R. Pratt},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Towards full completeness of the linear logic of Chu spaces},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {308--325},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80152-5},
doi = {10.1016/S1571-0661(05)80152-5},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pratt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Smyth97,
author = {Michael B. Smyth},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Topology and tolerance},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {326},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80151-3},
doi = {10.1016/S1571-0661(05)80151-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Smyth97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sunderhauf97,
author = {Philipp S{\"{u}}nderhauf},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Tensor products and powerspaces in quantitative domain theory},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {327--347},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80150-1},
doi = {10.1016/S1571-0661(05)80150-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sunderhauf97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thielecke97,
author = {Hayo Thielecke},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Continuation semantics and self-adjointness},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {348--364},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80149-5},
doi = {10.1016/S1571-0661(05)80149-5},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Thielecke97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thiemann97,
author = {Peter Thiemann},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Correctness of a region-based binding-time analysis},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {365--390},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80148-3},
doi = {10.1016/S1571-0661(05)80148-3},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Thiemann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/X97,
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Dedication},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {3},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80171-9},
doi = {10.1016/S1571-0661(05)80171-9},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/X97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Resolution in the Smyth powerdomain},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {409},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80146-X},
doi = {10.1016/S1571-0661(05)80146-X},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhangR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1997,
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/6/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-08 00:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
