Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ershov/botik1989.bht:"
download as .bib file
@inproceedings{DBLP:conf/ershov/Abramsky89,
author = {Samson Abramsky},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Observational Logic and Process Semantics (Abstract)},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {1},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_1},
doi = {10.1007/3-540-51237-3\_1},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Abramsky89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ArchangelskyT89,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Logic for Data Description},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {2--11},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_2},
doi = {10.1007/3-540-51237-3\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ArchangelskyT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Basin89,
author = {David A. Basin},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Building Theories in Nuprl},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {12--25},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_3},
doi = {10.1007/3-540-51237-3\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Basin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BloomM89,
author = {Bard Bloom and
Albert R. Meyer},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Remark on Bisimulation Between Probabilistic Processes},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {26--40},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_4},
doi = {10.1007/3-540-51237-3\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BloomM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CarmoS89,
author = {Jos{\'{e}} Carmo and
Am{\'{\i}}lcar Sernadas},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Inevitability in Branching Time},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {41--62},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_5},
doi = {10.1007/3-540-51237-3\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/CarmoS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CherkasovaF89,
author = {Ludmila Cherkasova and
Alexander S. Filurin},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Concurrent Processes with Synchronization: Net and Algebraic Approach},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {63--80},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_6},
doi = {10.1007/3-540-51237-3\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/CherkasovaF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ClarkeGK89,
author = {Edmund M. Clarke and
Orna Grumberg and
Robert P. Kurshan},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
Systems},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {81--90},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_7},
doi = {10.1007/3-540-51237-3\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ClarkeGK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Daderkin89,
author = {Dmitry O. Daderkin},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {On {A} Class of Unoids},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {91--100},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_8},
doi = {10.1007/3-540-51237-3\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Daderkin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Dikovskii89,
author = {A. Ja. Dikovskii},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Space Considerations in Prolog},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {101--107},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_9},
doi = {10.1007/3-540-51237-3\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Dikovskii89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/GurevichS89,
author = {Yuri Gurevich and
Saharon Shelah},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Nearly Linear Time},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {108--118},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_10},
doi = {10.1007/3-540-51237-3\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/GurevichS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HansenNTJ89,
author = {Torben Amtoft Hansen and
Thomas Nikolajsen and
Jesper Larsson Tr{\"{a}}ff and
Neil D. Jones},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Experiments with Implementations of Two Theoretical Constructions},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {119--133},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_11},
doi = {10.1007/3-540-51237-3\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HansenNTJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HeiselRS89,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Dynamic Logic for Program Verification},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {134--145},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_12},
doi = {10.1007/3-540-51237-3\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HeiselRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HirshfeldRT89,
author = {Yoram Hirshfeld and
Alexander Moshe Rabinovich and
Boris A. Trakhtenbrot},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Discerning Causality in Interleaving Behavior},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {146--162},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_13},
doi = {10.1007/3-540-51237-3\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HirshfeldRT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HuttelL89,
author = {Hans H{\"{u}}ttel and
Kim Guldstrand Larsen},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {The Use of Static Constructs in {A} Modal Process Logic},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {163--180},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_14},
doi = {10.1007/3-540-51237-3\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HuttelL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kanovich89,
author = {Max I. Kanovich},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {What is the Logic of Computational Tasks?},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {181--185},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_15},
doi = {10.1007/3-540-51237-3\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Kanovich89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KfouryU89,
author = {A. J. Kfoury and
Pawel Urzyczyn},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Algo-Like Languages with Higher-Order Procedures and Their Expressive
Power},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {186--199},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_16},
doi = {10.1007/3-540-51237-3\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/KfouryU89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Lambek89,
author = {Joachim Lambek},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Fixpoints Revisited},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {200--207},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_17},
doi = {10.1007/3-540-51237-3\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Lambek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Moschovakis89,
author = {Yiannis N. Moschovakis},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Mathematical Modeling of Pure, Recursive Algorithms},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {208--229},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_18},
doi = {10.1007/3-540-51237-3\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Moschovakis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Sazonov89,
author = {Vladimir Yu. Sazonov},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Category of Many-Sorted Algebraic Theories Which is Equivalent to
the Category of Categories with Finite Products},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {230--244},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_19},
doi = {10.1007/3-540-51237-3\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Sazonov89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Shvarts89,
author = {Grigori F. Shvarts},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Gentzen Style Systems for {K45} and {K45D}},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {245--256},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_20},
doi = {10.1007/3-540-51237-3\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Shvarts89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Vakarelov89,
author = {Dimiter Vakarelov},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Modal Logics for Knowledge Representation Systems},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {257--277},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_21},
doi = {10.1007/3-540-51237-3\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Vakarelov89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Zielonka89,
author = {Wieslaw Zielonka},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Safe Executions of Recognizable Trace Languages by Asynchronous Automata},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {278--289},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_22},
doi = {10.1007/3-540-51237-3\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Zielonka89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1989,
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3},
doi = {10.1007/3-540-51237-3},
isbn = {3-540-51237-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1989.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-24 20:23 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:
