Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/lop:"
download as .bib file
@inproceedings{DBLP:conf/lop/AbadiM85,
author = {Mart{\'{\i}}n Abadi and
Zohar Manna},
editor = {Rohit Parikh},
title = {Nonclausal Temporal Deduction},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {1--15},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_1},
doi = {10.1007/3-540-15648-8\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/AbadiM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Bercovici85,
author = {Irina Bercovici},
editor = {Rohit Parikh},
title = {Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators
(Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {16--22},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_2},
doi = {10.1007/3-540-15648-8\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Bercovici85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Breazu-TannenM85,
author = {Val Breazu{-}Tannen and
Albert R. Meyer},
editor = {Rohit Parikh},
title = {Lambda Calculus with Constrained Types (Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {23--40},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_3},
doi = {10.1007/3-540-15648-8\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Breazu-TannenM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Brookes85,
author = {Stephen D. Brookes},
editor = {Rohit Parikh},
title = {An Axiomatic Treatment of a Parallel Programming Language},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {41--60},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_4},
doi = {10.1007/3-540-15648-8\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Brookes85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ConstableM85,
author = {Robert L. Constable and
Nax Paul Mendler},
editor = {Rohit Parikh},
title = {Recursive Definitions in Type Theory},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {61--78},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_5},
doi = {10.1007/3-540-15648-8\_5},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ConstableM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Emerson85,
author = {E. Allen Emerson},
editor = {Rohit Parikh},
title = {Automata, Tableaux and Temporal Logics (Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {79--88},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_7},
doi = {10.1007/3-540-15648-8\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Emerson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/FrancezGKP85,
author = {Nissim Francez and
Orna Grumberg and
Shmuel Katz and
Amir Pnueli},
editor = {Rohit Parikh},
title = {Proving Termination of Prolog Programs},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {89--105},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_8},
doi = {10.1007/3-540-15648-8\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/FrancezGKP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Goerdt85,
author = {Andreas Goerdt},
editor = {Rohit Parikh},
title = {A Hoare Calculus for Functions Defined by Recursion on Higher Types},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {106--117},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_9},
doi = {10.1007/3-540-15648-8\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Goerdt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Grabowski85,
author = {Michal Grabowski},
editor = {Rohit Parikh},
title = {On the Relative Incompleteness of Logics for Total Correctness},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {118--127},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_10},
doi = {10.1007/3-540-15648-8\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Grabowski85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GrafS85,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Rohit Parikh},
title = {Frm Synchronization Tree Logic to Acceptance Model Logic},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {128--142},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_11},
doi = {10.1007/3-540-15648-8\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/GrafS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kamin85,
author = {Samuel N. Kamin},
editor = {Rohit Parikh},
title = {A {FASE} Specification of {FP}},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {143--152},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_12},
doi = {10.1007/3-540-15648-8\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Kamin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kolaitis85,
author = {Phokion G. Kolaitis},
editor = {Rohit Parikh},
title = {On Asymptotic Probability of Inductive Queries and Their Decision
Problem},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {153--166},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_13},
doi = {10.1007/3-540-15648-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Kolaitis85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KoymansSRGA85,
author = {Ron Koymans and
R. K. Shyamasundar and
Willem P. de Roever and
Rob Gerth and
S. Arun{-}Kumar},
editor = {Rohit Parikh},
title = {Compositional Semantics for Real-time Distributed Computing},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {167--189},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_14},
doi = {10.1007/3-540-15648-8\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/KoymansSRGA85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Leivant85,
author = {Daniel Leivant},
editor = {Rohit Parikh},
title = {Partial-Correctness Theories as First-Order Theories},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {190--195},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_15},
doi = {10.1007/3-540-15648-8\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Leivant85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/LichtensteinPZ85,
author = {Orna Lichtenstein and
Amir Pnueli and
Lenore D. Zuck},
editor = {Rohit Parikh},
title = {The Glory of the Past},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {196--218},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_16},
doi = {10.1007/3-540-15648-8\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/LichtensteinPZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerW85,
author = {Albert R. Meyer and
Mitchell Wand},
editor = {Rohit Parikh},
title = {Continuation Semantics in Typed Lambda-Calculi (Summary)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {219--224},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_17},
doi = {10.1007/3-540-15648-8\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MitchellM85,
author = {John C. Mitchell and
Albert R. Meyer},
editor = {Rohit Parikh},
title = {Second-Order Logical Relations (Extended Abstract)},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {225--236},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_18},
doi = {10.1007/3-540-15648-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MitchellM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/NguyenDGO85,
author = {Van Nguyen and
Alan J. Demers and
David Gries and
Susan S. Owicki},
editor = {Rohit Parikh},
title = {Behavior: {A} Temporal Approach to Process Modelling},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {237--254},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_19},
doi = {10.1007/3-540-15648-8\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lop/NguyenDGO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ODonnell85,
author = {Michael J. O'Donnell},
editor = {Rohit Parikh},
title = {Equational Logic as a Programming Language},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {255},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_20},
doi = {10.1007/3-540-15648-8\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ODonnell85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ParikhR85,
author = {Rohit Parikh and
Ramaswamy Ramanujam},
editor = {Rohit Parikh},
title = {Distributed Processes and the Logic of Knowledge},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {256--268},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_21},
doi = {10.1007/3-540-15648-8\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ParikhR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Pratt85,
author = {Vaughan R. Pratt},
editor = {Rohit Parikh},
title = {Some Constructions for Order-Theoretic Models of Concurrency},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {269--283},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_22},
doi = {10.1007/3-540-15648-8\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Pratt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/RamanujamL85,
author = {Ramaswamy Ramanujam and
Kamal Lodaya},
editor = {Rohit Parikh},
title = {Proving Fairness of Schedulers},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {284--301},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_23},
doi = {10.1007/3-540-15648-8\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/RamanujamL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Sain85,
author = {Ildik{\'{o}} Sain},
editor = {Rohit Parikh},
title = {The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal
Logic) Program Verification Methods},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {302--342},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_24},
doi = {10.1007/3-540-15648-8\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Sain85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/SobelS85,
author = {Ann E. Kelley Sobel and
Neelam Soundararajan},
editor = {Rohit Parikh},
title = {A Proof System for Distributed Processes},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {343--358},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_26},
doi = {10.1007/3-540-15648-8\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/SobelS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Streett85,
author = {Robert S. Streett},
editor = {Rohit Parikh},
title = {Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus
into Propositional Dynamic Logics of Looping},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {359--372},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_27},
doi = {10.1007/3-540-15648-8\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Streett85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Tennent85,
author = {Robert D. Tennent},
editor = {Rohit Parikh},
title = {Semantical Analysis of Specification Logic},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {373--386},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_28},
doi = {10.1007/3-540-15648-8\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Tennent85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/TrybulecB85,
author = {Andrzej Trybulec and
Howard A. Blair},
editor = {Rohit Parikh},
title = {Computer Aider Reasoning},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {406--412},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_30},
doi = {10.1007/3-540-15648-8\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/TrybulecB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Vardi85,
author = {Moshe Y. Vardi},
editor = {Rohit Parikh},
title = {The Taming of Converse: Reasoning about Two-way Computations},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {413--423},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_31},
doi = {10.1007/3-540-15648-8\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Vardi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1985,
editor = {Rohit Parikh},
title = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8},
doi = {10.1007/3-540-15648-8},
isbn = {3-540-15648-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1983,
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12896-4},
doi = {10.1007/3-540-12896-4},
isbn = {3-540-12896-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Apt83,
author = {Krzysztof R. Apt},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Static Analysis of {CSP} Programs},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {1--17},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_351},
doi = {10.1007/3-540-12896-4\_351},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Apt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BakkerZ83,
author = {J. W. de Bakker and
Jeffery I. Zucker},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Compactness in Semantics for Merge and Fair Merge},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {18--33},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_352},
doi = {10.1007/3-540-12896-4\_352},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BakkerZ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraKT83,
author = {Jan A. Bergstra and
Jan Willem Klop and
John V. Tucker},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Algebraic Tools for System Construction},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {34--44},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_353},
doi = {10.1007/3-540-12896-4\_353},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BergstraKT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraT83,
author = {Jan A. Bergstra and
Jerzy Tiuryn},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {PC-Compactness, a Necessary Condition for the Existence of Sound and
Complete Logics of Partial Correctness},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {45--56},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_354},
doi = {10.1007/3-540-12896-4\_354},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BergstraT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Blair83,
author = {Howard A. Blair},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {The Intractability of Validity in Logic Programming and Dynamic Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {57--67},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_355},
doi = {10.1007/3-540-12896-4\_355},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Blair83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Brookes83,
author = {Stephen D. Brookes},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Semantics and Proof System for Communicating Processes},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {68--85},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_356},
doi = {10.1007/3-540-12896-4\_356},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Brookes83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Cartwright83,
author = {Robert Cartwright},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Non-Standard Fixed Points in First Order Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {86--100},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_357},
doi = {10.1007/3-540-12896-4\_357},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Cartwright83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ClarkeM83,
author = {Edmund M. Clarke and
Bud Mishra},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Automatic Verification of Asynchronous Circuits},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {101--115},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_358},
doi = {10.1007/3-540-12896-4\_358},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ClarkeM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Constable83,
author = {Robert L. Constable},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Mathematics as Programming},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {116--128},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_359},
doi = {10.1007/3-540-12896-4\_359},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Constable83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/CrasemannL83,
author = {Ch. Crasemann and
Hans Langmaack},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Characterization of Acceptable by ALGOL-Like Programming Languages},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {129--146},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_360},
doi = {10.1007/3-540-12896-4\_360},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/CrasemannL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Cristian83,
author = {Flaviu Cristian},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Rigorous Approach to Fault-Tolerant System Development (Extended
Abstract)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {147--160},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_361},
doi = {10.1007/3-540-12896-4\_361},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Cristian83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/DammJ83,
author = {Werner Damm and
Bernhard Josko},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Sound and Relatively* Compete Axiomatization of Clarke's Language
L\({}_{\mbox{4}}\)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {161--175},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_362},
doi = {10.1007/3-540-12896-4\_362},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/DammJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/EmersonS83,
author = {E. Allen Emerson and
A. Prasad Sistla},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Deciding Branching Time Logic: {A} Triple Exponential Decision Procedure
for CTL*},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {176--192},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_363},
doi = {10.1007/3-540-12896-4\_363},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/EmersonS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Engeler83,
author = {Erwin Engeler},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Equation in Combinatory Algebras},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {193--205},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_364},
doi = {10.1007/3-540-12896-4\_364},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Engeler83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GermanCH83,
author = {Steven M. German and
Edmund M. Clarke and
Joseph Y. Halpern},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Reasoning About Procedures as Parameters},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {206--220},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_365},
doi = {10.1007/3-540-12896-4\_365},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/GermanCH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GoguenB83,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Introducing Institutions},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {221--256},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_366},
doi = {10.1007/3-540-12896-4\_366},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/GoguenB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GrumbergFK83,
author = {Orna Grumberg and
Nissim Francez and
Shmuel Katz},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Compete Proof Rule for Strong Equifair Termination},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {257--278},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_367},
doi = {10.1007/3-540-12896-4\_367},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/GrumbergFK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KfouryU83,
author = {A. J. Kfoury and
Pawel Urzyczyn},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Necessary and Sufficient Conditions for University of Programming
Formalisms (Partial Report)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {279--289},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_368},
doi = {10.1007/3-540-12896-4\_368},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/KfouryU83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KorenP83,
author = {Tmima Koren and
Amir Pnueli},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {There Exit Decidable Context Free Propositional Dynamic Logics},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {290--312},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_369},
doi = {10.1007/3-540-12896-4\_369},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/KorenP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KozenP83,
author = {Dexter Kozen and
Rohit Parikh},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Decision Procedure for the Propositional {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {313--325},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_370},
doi = {10.1007/3-540-12896-4\_370},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/KozenP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Lubachevsky83,
author = {Boris D. Lubachevsky},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Verifier for Compact Parallel Coordination Programs},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {326--340},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_371},
doi = {10.1007/3-540-12896-4\_371},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Lubachevsky83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MaszkowskiM83,
author = {Ben C. Moszkowski and
Zohar Manna},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Reasoning in Interval Temporal Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {371--382},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_374},
doi = {10.1007/3-540-12896-4\_374},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MaszkowskiM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/McCarty83,
author = {Charles McCarty},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Information Systems, Continuity and Realizability},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {341--259},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_372},
doi = {10.1007/3-540-12896-4\_372},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/McCarty83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/McLean83,
author = {John McLean},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Complete System of Temporal Logic for Specification Schemata},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {360--370},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_373},
doi = {10.1007/3-540-12896-4\_373},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/McLean83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Olderog83,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Hoare's Logic for Programs with Procedures - What Has Been Achieved?},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {383--395},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_375},
doi = {10.1007/3-540-12896-4\_375},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Olderog83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ParikhM83,
author = {Rohit Parikh and
Anne Mahoney},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Theory of Probabilistic Programs},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {396--402},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_376},
doi = {10.1007/3-540-12896-4\_376},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ParikhM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Plaisted83,
author = {David A. Plaisted},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Low Level Language for Obtaining Decision Procedure for Classes
of temporal Logics},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {403--420},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_377},
doi = {10.1007/3-540-12896-4\_377},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Plaisted83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ReifS83,
author = {John H. Reif and
William L. Scherlis},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Deriving Efficient Graph Algorithms (Summary)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {421--441},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_378},
doi = {10.1007/3-540-12896-4\_378},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ReifS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Reynolds83,
author = {John C. Reynolds},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {An Introduction to Specification Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {442},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_379},
doi = {10.1007/3-540-12896-4\_379},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Reynolds83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/SchwartzMV83,
author = {Richard L. Schwartz and
P. M. Melliar{-}Smith and
Friedrich H. Vogt},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {An Interval-Based Temporal Logic},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {443--457},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_380},
doi = {10.1007/3-540-12896-4\_380},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/SchwartzMV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Sifakis83,
author = {Joseph Sifakis},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Property Preserving Homomorphisms of Transition Systems},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {458--473},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_381},
doi = {10.1007/3-540-12896-4\_381},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Sifakis83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/TrakhtenbrotHM83,
author = {Boris A. Trakhtenbrot and
Joseph Y. Halpern and
Albert R. Meyer},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {From Denotational to Operational and Axiomatic Semantics for ALGOL-like
Languages: an Overview},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {474--500},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_382},
doi = {10.1007/3-540-12896-4\_382},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/TrakhtenbrotHM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/VardiW83,
author = {Moshe Y. Vardi and
Pierre Wolper},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Yet Another Process Logic (Preliminary Version)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {501--512},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_383},
doi = {10.1007/3-540-12896-4\_383},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lop/VardiW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ZwiersBR83,
author = {Job Zwiers and
Arie de Bruin and
Willem P. de Roever},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {A Proof System for Partial Correctness of Dynamic Networks of Processes
(Extended Abstract)},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {513--527},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_384},
doi = {10.1007/3-540-12896-4\_384},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ZwiersBR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1980,
editor = {Andrzej Salwicki},
title = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-11981-7},
doi = {10.1007/3-540-11981-7},
isbn = {3-540-11981-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/1980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1981,
editor = {Dexter Kozen},
title = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0025769},
doi = {10.1007/BFB0025769},
isbn = {3-540-11212-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/1981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/AptO81,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Dexter Kozen},
title = {Proof Rules Dealing with Fairness},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {1--8},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025770},
doi = {10.1007/BFB0025770},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/AptO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BakkerKM81,
author = {J. W. de Bakker and
Jan Willem Klop and
John{-}Jules Ch. Meyer},
editor = {Dexter Kozen},
title = {Correctness of Programs with Function Procedures},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {94--112},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025776},
doi = {10.1007/BFB0025776},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BakkerKM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraCT81,
author = {Jan A. Bergstra and
Anna Chmielinska and
Jerzy Tiuryn},
editor = {Dexter Kozen},
title = {Hoare's Logic is Incomplete When It Does Not Have To Be},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {9--23},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025771},
doi = {10.1007/BFB0025771},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BergstraCT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraT81,
author = {Jan A. Bergstra and
John V. Tucker},
editor = {Dexter Kozen},
title = {The Refinement of Specifications and the Stabiliy of Hoare's Logic},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {24--36},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025772},
doi = {10.1007/BFB0025772},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BergstraT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Cartwright81,
author = {Robert Cartwright},
editor = {Dexter Kozen},
title = {Toward a Logical Thoery of Program Data},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {37--51},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025773},
doi = {10.1007/BFB0025773},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Cartwright81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ClarkeE81,
author = {Edmund M. Clarke and
E. Allen Emerson},
editor = {Dexter Kozen},
title = {Design and Synthesis of Synchronization Skeletons Using Branching-Time
Temporal Logic},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {52--71},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025774},
doi = {10.1007/BFB0025774},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ClarkeE81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ConstableZ81,
author = {Robert L. Constable and
Daniel R. Zlatin},
editor = {Dexter Kozen},
title = {The Type Theory of {PL/CV} 3},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {72--93},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025775},
doi = {10.1007/BFB0025775},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ConstableZ81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Hailpern81,
author = {Brent Hailpern},
editor = {Dexter Kozen},
title = {Keeping a Foot on the Ground (position paper)},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {122--123},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025778},
doi = {10.1007/BFB0025778},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Hailpern81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/HarelPS81,
author = {David Harel and
Amir Pnueli and
Jonathan Stavi},
editor = {Dexter Kozen},
title = {Further Results on Propositional Dynamic Logic of Nonregular Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {124--136},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025779},
doi = {10.1007/BFB0025779},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/HarelPS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/JanssenB81,
author = {Theo M. V. Janssen and
Peter van Emde Boas},
editor = {Dexter Kozen},
title = {Some Observations on Compositional Semantics},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {137--149},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025780},
doi = {10.1007/BFB0025780},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/JanssenB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kfoury81,
author = {A. J. Kfoury},
editor = {Dexter Kozen},
title = {Some Connections Between iterative Programs, Recursive Programs, and
First-Order Logic},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {150--166},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025781},
doi = {10.1007/BFB0025781},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Kfoury81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kozen81,
author = {Dexter Kozen},
editor = {Dexter Kozen},
title = {On Induction vs. *-Continuity},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {167--176},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025782},
doi = {10.1007/BFB0025782},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Kozen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Lamport81,
author = {Leslie Lamport},
editor = {Dexter Kozen},
title = {{TIMESETS} -- {A} New Method for Temporal Reasoning about Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {177--196},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025783},
doi = {10.1007/BFB0025783},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Lamport81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/LamportO81,
author = {Leslie Lamport and
Susan S. Owicki},
editor = {Dexter Kozen},
title = {Program Logics and Program Verification (position paper)},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {197--199},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025784},
doi = {10.1007/BFB0025784},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/LamportO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MannaP81,
author = {Zohar Manna and
Amir Pnueli},
editor = {Dexter Kozen},
title = {Verification of Concurrent Programs: Temporal Proof Principles},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {200--252},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025785},
doi = {10.1007/BFB0025785},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MannaP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MannaW81,
author = {Zohar Manna and
Pierre Wolper},
editor = {Dexter Kozen},
title = {Synthesis of Communicating Processes from Temporal Logic Specifications},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {253--281},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025786},
doi = {10.1007/BFB0025786},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lop/MannaW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/MeyerT81,
author = {Albert R. Meyer and
Jerzy Tiuryn},
editor = {Dexter Kozen},
title = {A Note On Equivalences Among Logics of Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {282--299},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025787},
doi = {10.1007/BFB0025787},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/MeyerT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Mirkowska81,
author = {Grazyna Mirkowska},
editor = {Dexter Kozen},
title = {The Representation Theorem for Algorithmic Algebras},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {300--310},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025788},
doi = {10.1007/BFB0025788},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Mirkowska81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Nemeti81,
author = {Istv{\'{a}}n N{\'{e}}meti},
editor = {Dexter Kozen},
title = {Nonstandard Dynamic Logic},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {311--348},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025789},
doi = {10.1007/BFB0025789},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Nemeti81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ODonnell81,
author = {Michael J. O'Donnell},
editor = {Dexter Kozen},
title = {A Critique of the Foundations of Hoare-Style Programming Logics},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {349--374},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025790},
doi = {10.1007/BFB0025790},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/ODonnell81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Parikh81,
author = {Rohit Parikh},
editor = {Dexter Kozen},
title = {Some Applications of Topology to Program Semantics},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {375--386},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025791},
doi = {10.1007/BFB0025791},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Parikh81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Pratt81,
author = {Vaughan R. Pratt},
editor = {Dexter Kozen},
title = {Using Graphs to Understand {PDL}},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {387--396},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025792},
doi = {10.1007/BFB0025792},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Pratt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Roever81,
author = {Willem P. de Roever},
editor = {Dexter Kozen},
title = {A Formalism for Reasoning about Fair Termination},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {113--121},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025777},
doi = {10.1007/BFB0025777},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Roever81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Salwicki81,
author = {Andrzej Salwicki},
editor = {Dexter Kozen},
title = {Critical Remarks on {MAX} Model of Concurrency},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {397--405},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025793},
doi = {10.1007/BFB0025793},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Salwicki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/Andreka80,
author = {Hajnal Andr{\'{e}}ka},
editor = {Andrzej Salwicki},
title = {Sharpening the characterization of the power of Floyd method},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {1--26},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_1},
doi = {10.1007/3-540-11981-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Andreka80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Banachowski80,
author = {Lech Banachowski},
editor = {Andrzej Salwicki},
title = {On proving program correctness by means of stepwise refinement method},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {27--44},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_2},
doi = {10.1007/3-540-11981-7\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Banachowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BartolKLO80,
author = {W. W. Bartol and
Antoni Kreczmar and
A. I. Litwiniuk and
H. Oktaba},
editor = {Andrzej Salwicki},
title = {Semantics and implementation of prefixing at many levels},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {45--80},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_3},
doi = {10.1007/3-540-11981-7\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/BartolKLO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Berman80,
author = {Francine Berman},
editor = {Andrzej Salwicki},
title = {Nonstandard model in propositional dynamic logic},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {81--85},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_4},
doi = {10.1007/3-540-11981-7\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Berman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Burkhard80,
author = {Hans{-}Dieter Burkhard},
editor = {Andrzej Salwicki},
title = {On priorities of parallelism},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {86--97},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_5},
doi = {10.1007/3-540-11981-7\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Burkhard80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Chlebus80,
author = {Bogdan S. Chlebus},
editor = {Andrzej Salwicki},
title = {On four logics of programs and complexity of their satisfiability
problems: extended abstract},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {98--107},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_6},
doi = {10.1007/3-540-11981-7\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Chlebus80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Czaja80,
author = {Ludwik Czaja},
editor = {Andrzej Salwicki},
title = {Are infinite behaviors of parallel system schemata necessary?},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {108--117},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_7},
doi = {10.1007/3-540-11981-7\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Czaja80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Danko80,
author = {W. Danko},
editor = {Andrzej Salwicki},
title = {Algorithmic logic for program trees},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {118--131},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_8},
doi = {10.1007/3-540-11981-7\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Danko80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Enjalbert80,
author = {Patrice Enjalbert},
editor = {Andrzej Salwicki},
title = {Algebraic semantics and program logics: Algorithmic logic for program
trees},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {132--147},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_9},
doi = {10.1007/3-540-11981-7\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Enjalbert80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Grabowski80,
author = {Michal Grabowski},
editor = {Andrzej Salwicki},
title = {Some model-theoretical properties of logic for programs with random
control},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {148--155},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_10},
doi = {10.1007/3-540-11981-7\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Grabowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Kawai80,
author = {Hiroya Kawai},
editor = {Andrzej Salwicki},
title = {A formal system for parallel programs in discrete time and space},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {156--165},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_11},
doi = {10.1007/3-540-11981-7\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Kawai80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Mirkowska80,
author = {Grazyna Mirkowska},
editor = {Andrzej Salwicki},
title = {On the propositional algorithmic theory of arithmetic},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {166--185},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_12},
doi = {10.1007/3-540-11981-7\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Mirkowska80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Nemeti80,
author = {Istv{\'{a}}n N{\'{e}}meti},
editor = {Andrzej Salwicki},
title = {Nonstandard runs of Floyd-provable programs},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {186--204},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_13},
doi = {10.1007/3-540-11981-7\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Nemeti80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Orlowska80,
author = {Ewa Orlowska},
editor = {Andrzej Salwicki},
title = {On some extensions of dynamic logic},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {205--212},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_14},
doi = {10.1007/3-540-11981-7\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Orlowska80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Petermann80,
author = {Uwe Petermann},
editor = {Andrzej Salwicki},
title = {On Algorithmic Logic with Partial Operations},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {213--223},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_15},
doi = {10.1007/3-540-11981-7\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Petermann80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Pettorossi80,
author = {Alberto Pettorossi},
editor = {Andrzej Salwicki},
title = {Towards a theory of parallelism and communications for increasing
efficiency in applicative languages},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {224--249},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_16},
doi = {10.1007/3-540-11981-7\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lop/Pettorossi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Plotkin80,
author = {Gordon D. Plotkin},
editor = {Andrzej Salwicki},
title = {An operational semantics for {CSO}},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {250--252},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_17},
doi = {10.1007/3-540-11981-7\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Plotkin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Radev80,
author = {S. R. Radev},
editor = {Andrzej Salwicki},
title = {Programming languages and logics of programs},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {253--257},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_18},
doi = {10.1007/3-540-11981-7\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Radev80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Skowron80,
author = {Andrzej Skowron},
editor = {Andrzej Salwicki},
title = {Concurrent programs},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {258--269},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_19},
doi = {10.1007/3-540-11981-7\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Skowron80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Stapp80,
author = {Lucjan Stapp},
editor = {Andrzej Salwicki},
title = {Axiomatic approach to the system of files},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {270--294},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_20},
doi = {10.1007/3-540-11981-7\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Stapp80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Szabo80,
author = {Manfred E. Szabo},
editor = {Andrzej Salwicki},
title = {A sequent calculus for Kr{\"{o}}ger logic},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {295--303},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_21},
doi = {10.1007/3-540-11981-7\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Szabo80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Vakarelov80,
author = {Dimiter Vakarelov},
editor = {Andrzej Salwicki},
title = {Filtration theorem for dynamic algebras with tests and inverse operator},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {314--324},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_23},
doi = {10.1007/3-540-11981-7\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Vakarelov80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Valiev80,
author = {Mars K. Valiev},
editor = {Andrzej Salwicki},
title = {On axiomatization of process logic},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {304--313},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_22},
doi = {10.1007/3-540-11981-7\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/Valiev80.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}
}
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-04-28 10:32 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:
