Search dblp for Publications

export results for "stream:series/lnm:"

 download as .bib file

@book{DBLP:series/lnm/1971-188,
  editor       = {Erwin Engeler},
  title        = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0059689},
  doi          = {10.1007/BFB0059689},
  isbn         = {978-3-540-05377-4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/1971-188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Bakker71,
  author       = {J. W. de Bakker},
  editor       = {Erwin Engeler},
  title        = {Axiom systems for simple assignment statements},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059690},
  doi          = {10.1007/BFB0059690},
  timestamp    = {Tue, 16 May 2017 14:24:25 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Bakker71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Bakker71a,
  author       = {J. W. de Bakker},
  editor       = {Erwin Engeler},
  title        = {A property of linear conditionals},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {23--27},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059691},
  doi          = {10.1007/BFB0059691},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Bakker71a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/BekicW71,
  author       = {Hans Beki{\'{c}} and
                  Kurt Walk},
  editor       = {Erwin Engeler},
  title        = {Formalization of storage properties},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {28--61},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059692},
  doi          = {10.1007/BFB0059692},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/BekicW71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Cooper71,
  author       = {D. C. Cooper},
  editor       = {Erwin Engeler},
  title        = {Program schemes, programs and logic},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {62--70},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059693},
  doi          = {10.1007/BFB0059693},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Cooper71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Elgot71,
  author       = {Calvin C. Elgot},
  editor       = {Erwin Engeler},
  title        = {Algebraic theories and program schemes},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {71--88},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059694},
  doi          = {10.1007/BFB0059694},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Elgot71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Engeler71,
  author       = {Erwin Engeler},
  editor       = {Erwin Engeler},
  title        = {Structure and meaning of elementary programs},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {89--101},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059695},
  doi          = {10.1007/BFB0059695},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Engeler71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Hoare71,
  author       = {C. A. R. Hoare},
  editor       = {Erwin Engeler},
  title        = {Procedures and parameters: An axiomatic approach},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059696},
  doi          = {10.1007/BFB0059696},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Hoare71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Igarashi71,
  author       = {Shigeru Igarashi},
  editor       = {Erwin Engeler},
  title        = {Semantics of algol-like statements},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {117--177},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059697},
  doi          = {10.1007/BFB0059697},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Igarashi71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/JonesL71,
  author       = {Cliff B. Jones and
                  P. Lucas},
  editor       = {Erwin Engeler},
  title        = {Proving correctness of implementation techniques},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {178--211},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059698},
  doi          = {10.1007/BFB0059698},
  timestamp    = {Wed, 05 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lnm/JonesL71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Knuth71,
  author       = {Donald E. Knuth},
  editor       = {Erwin Engeler},
  title        = {Examples of formal semantics},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {212--235},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059699},
  doi          = {10.1007/BFB0059699},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Knuth71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/London71,
  author       = {Ralph L. London},
  editor       = {Erwin Engeler},
  title        = {Experience with inductive assertions for proving programs correct},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {236--251},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059700},
  doi          = {10.1007/BFB0059700},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/London71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Manna71,
  author       = {Zohar Manna},
  editor       = {Erwin Engeler},
  title        = {Mathematical theory of partial correctness},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {252--269},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059701},
  doi          = {10.1007/BFB0059701},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Manna71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/MannaW71,
  author       = {Zohar Manna and
                  Richard J. Waldinger},
  editor       = {Erwin Engeler},
  title        = {Towards automatic program synthesis},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {270--310},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059702},
  doi          = {10.1007/BFB0059702},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/MannaW71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lnm/Scott71,
  author       = {Dana S. Scott},
  editor       = {Erwin Engeler},
  title        = {The lattice of flow diagrams},
  booktitle    = {Symposium on Semantics of Algorithmic Languages},
  series       = {Lecture Notes in Mathematics},
  volume       = {188},
  pages        = {311--366},
  publisher    = {Springer},
  year         = {1971},
  url          = {https://doi.org/10.1007/BFb0059703},
  doi          = {10.1007/BFB0059703},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lnm/Scott71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.