Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/lop/1979,
  editor       = {Erwin Engeler},
  title        = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-11160-3},
  doi          = {10.1007/3-540-11160-3},
  isbn         = {3-540-11160-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/1979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Kozen79,
  author       = {Dexter Kozen},
  editor       = {Erwin Engeler},
  title        = {On the Duality of Dynamic Algebras and Kripke Models},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_1},
  doi          = {10.1007/3-540-11160-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/MeyerSM79,
  author       = {Albert R. Meyer and
                  Robert S. Streett and
                  Grazyna Mirkowska},
  editor       = {Erwin Engeler},
  title        = {The Deducibility Problem in Propositional Dynamic Logic},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {12--22},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_2},
  doi          = {10.1007/3-540-11160-3\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/MeyerSM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Mirkowska79,
  author       = {Grazyna Mirkowska},
  editor       = {Erwin Engeler},
  title        = {{PAL} - Propositional Algorithmic Logic},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {23--101},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_3},
  doi          = {10.1007/3-540-11160-3\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Mirkowska79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Parikh79,
  author       = {Rohit Parikh},
  editor       = {Erwin Engeler},
  title        = {Propositional Dynamic Logics of Programs: a Survey},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {102--144},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_4},
  doi          = {10.1007/3-540-11160-3\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Parikh79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Salwicki79,
  author       = {Andrzej Salwicki},
  editor       = {Erwin Engeler},
  title        = {On the Algorithmic Theory of Dictionaries},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {145--168},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_5},
  doi          = {10.1007/3-540-11160-3\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Salwicki79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/SalwickiM79,
  author       = {Andrzej Salwicki and
                  Tomasz M{\"{u}}ldner},
  editor       = {Erwin Engeler},
  title        = {On the Algorithmic Properties of Concurrent Programs},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {169--197},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_6},
  doi          = {10.1007/3-540-11160-3\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/SalwickiM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Tiuryn79,
  author       = {Jerzy Tiuryn},
  editor       = {Erwin Engeler},
  title        = {A Survey of the Logic of Effective Definitions},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {198--245},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_7},
  doi          = {10.1007/3-540-11160-3\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Tiuryn79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}