default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfps/mfps85.bht:"
download as .bib file
@proceedings{DBLP:conf/mfps/1985,
editor = {Austin Melton},
title = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16816-8},
doi = {10.1007/3-540-16816-8},
isbn = {3-540-16816-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/AbdaliW85,
author = {S. Kamal Abdali and
David S. Wise},
editor = {Austin Melton},
title = {Standard, Storeless Semantics for ALGOL-Style Block Structure and
Call-by Name},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {1--19},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_22},
doi = {10.1007/3-540-16816-8\_22},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/mfps/AbdaliW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/AdamekH85,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Horst Herrlich},
editor = {Austin Melton},
title = {Cartesian Closed Categories, Quasitopoi and Topological Universes},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {20--41},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_23},
doi = {10.1007/3-540-16816-8\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/AdamekH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BargendaHS85,
author = {H. Bargenda and
Horst Herrlich and
George E. Strecker},
editor = {Austin Melton},
title = {Concrete Categories and Injectivity},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {42--52},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_24},
doi = {10.1007/3-540-16816-8\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BargendaHS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BensonT85,
author = {David B. Benson and
Jerzy Tiuryn},
editor = {Austin Melton},
title = {Fixed Ponts in Process Algebras with Internal Actions {(} a preliminary
note)},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {53--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_25},
doi = {10.1007/3-540-16816-8\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BensonT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Brookes85,
author = {Stephen D. Brookes},
editor = {Austin Melton},
title = {A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language
with Sharing},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {59--100},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_26},
doi = {10.1007/3-540-16816-8\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Brookes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Gunter85,
author = {Carl A. Gunter},
editor = {Austin Melton},
title = {Comparing Categories of Domains},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {101--121},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_27},
doi = {10.1007/3-540-16816-8\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Gunter85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/HerrlichH85,
author = {Horst Herrlich and
Miroslav Husek},
editor = {Austin Melton},
title = {Galois Connections},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {122--134},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_28},
doi = {10.1007/3-540-16816-8\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/HerrlichH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/KamimuraT85,
author = {Tsutomu Kamimura and
Adrian Tang},
editor = {Austin Melton},
title = {Retracts of {SEP} Objects},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {135--148},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_29},
doi = {10.1007/3-540-16816-8\_29},
timestamp = {Wed, 21 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/KamimuraT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Koslowski85,
author = {J{\"{u}}rgen Koslowski},
editor = {Austin Melton},
title = {Continuous Categories},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {149--161},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_30},
doi = {10.1007/3-540-16816-8\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Koslowski85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Main85,
author = {Michael G. Main},
editor = {Austin Melton},
title = {Free Constructions of Powerdomains},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {162--183},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_31},
doi = {10.1007/3-540-16816-8\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Main85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Manes85,
author = {Ernest G. Manes},
editor = {Austin Melton},
title = {Additive Domains},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {184--195},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_32},
doi = {10.1007/3-540-16816-8\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Manes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/MeltonS85,
author = {Austin Melton and
David A. Schmidt},
editor = {Austin Melton},
title = {A Topological Framework of cpos Lacking Bottom Elements},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {196--204},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_33},
doi = {10.1007/3-540-16816-8\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/MeltonS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Mislove85,
author = {Michael W. Mislove},
editor = {Austin Melton},
title = {Detecting Local Finite Breadth in Continuous Lattices and Semilattices},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {205--214},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_34},
doi = {10.1007/3-540-16816-8\_34},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/Mislove85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Pasztor85,
author = {Ana Pasztor},
editor = {Austin Melton},
title = {On the Variety Concept of omega-Continuous Algebras. Application of
a General Approach},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {215--248},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_35},
doi = {10.1007/3-540-16816-8\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Pasztor85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Rishe85,
author = {Naphtali Rishe},
editor = {Austin Melton},
title = {On Denotational Semantics of Data Bases},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {249--274},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_36},
doi = {10.1007/3-540-16816-8\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Rishe85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Rishe85a,
author = {Naphtali Rishe},
editor = {Austin Melton},
title = {Postconditional Semantics of Data Base Queries},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {275--295},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_37},
doi = {10.1007/3-540-16816-8\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Rishe85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Shultis85,
author = {Jonathan C. Shultis},
editor = {Austin Melton},
title = {What is a Model? {A} Consumer's Perspective on Semantic Theory},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {296--307},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_38},
doi = {10.1007/3-540-16816-8\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Shultis85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Smith85,
author = {Jonathan D. H. Smith},
editor = {Austin Melton},
title = {Modal Theory, Partial Orders, and Digital Geometry},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {308--323},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_39},
doi = {10.1007/3-540-16816-8\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Smith85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/ThomasS85,
author = {Teresa A. Thomas and
Donald F. Stanat},
editor = {Austin Melton},
title = {An {FP} Domain with Infinite Objects},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {324--341},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_40},
doi = {10.1007/3-540-16816-8\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/ThomasS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Venugopalan85,
author = {P. Venugopalan},
editor = {Austin Melton},
title = {Union Complete Countable Subset Systems},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {342--356},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_41},
doi = {10.1007/3-540-16816-8\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Venugopalan85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/ZamfirM85,
author = {Maria Zamfir and
David L. Martin},
editor = {Austin Melton},
title = {On the Syntax and Semantics of Concurrent Computing},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {357--394},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_42},
doi = {10.1007/3-540-16816-8\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/ZamfirM85.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.
retrieved on 2024-09-18 09:16 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:
