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/birthday/gurevich2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/AbbottCS15,
author = {Alastair A. Abbott and
Cristian S. Calude and
Karl Svozil},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {On the Unpredictability of Individual Quantum Measurement Outcomes},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {69--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_4},
doi = {10.1007/978-3-319-23534-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbbottCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BienvenuS15,
author = {Laurent Bienvenu and
Alexander Shen},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {\emph{K}-trivial, \emph{K}-low and \emph{MLR}-low Sequences: {A} Tutorial},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {1--23},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_1},
doi = {10.1007/978-3-319-23534-9\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BienvenuS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BjornerGMR15,
author = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel and
Kenneth L. McMillan and
Andrey Rybalchenko},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Horn Clause Solvers for Program Verification},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {24--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_2},
doi = {10.1007/978-3-319-23534-9\_2},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BjornerGMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Blass15,
author = {Andreas Blass},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Existential Fixed-Point Logic as a Fragment of Second-Order Logic},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {52--68},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_3},
doi = {10.1007/978-3-319-23534-9\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Blass15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CegielskiGG15,
author = {Patrick C{\'{e}}gielski and
Serge Grigorieff and
Ir{\`{e}}ne Guessarian},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Arithmetical Congruence Preservation: From Finite to Infinite},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {210--225},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_12},
doi = {10.1007/978-3-319-23534-9\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CegielskiGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChenF15,
author = {Yijia Chen and
J{\"{o}}rg Flum},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {The Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Method and the Planted
Clique Conjecture},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {87--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_5},
doi = {10.1007/978-3-319-23534-9\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChenF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChoffrutG15,
author = {Christian Choffrut and
Serge Grigorieff},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Monadic Theory of a Linear Order Versus the Theory of its Subsets
with the Lifted Min/Max Operations},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {109--128},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_6},
doi = {10.1007/978-3-319-23534-9\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChoffrutG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Courcelle15,
author = {Bruno Courcelle},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Regularity Equals Monadic Second-Order Definability for Quasi-trees},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {129--141},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_7},
doi = {10.1007/978-3-319-23534-9\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Courcelle15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DawarS15,
author = {Anuj Dawar and
Luc Segoufin},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Capturing {MSO} with One Quantifier},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {142--152},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_8},
doi = {10.1007/978-3-319-23534-9\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DawarS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DrosteP15,
author = {Manfred Droste and
Vitaly Perevoshchikov},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Logics for Weighted Timed Pushdown Automata},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {153--173},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_9},
doi = {10.1007/978-3-319-23534-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DrosteP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GonenK15,
author = {Hila Gonen and
Orna Kupferman},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Inherent Vacuity in Lattice Automata},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {174--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_10},
doi = {10.1007/978-3-319-23534-9\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GonenK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GradelG15,
author = {Erich Gr{\"{a}}del and
Martin Grohe},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Is Polynomial Time Choiceless?},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {193--209},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_11},
doi = {10.1007/978-3-319-23534-9\_11},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GradelG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HaberS15,
author = {Simi Haber and
Saharon Shelah},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {An Extension of the Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Game
for First Order Logics Augmented with Lindstr{\"{o}}m Quantifiers},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {226--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_13},
doi = {10.1007/978-3-319-23534-9\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HaberS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LabaiM15,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Logics of Finite Hankel Rank},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {237--252},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_14},
doi = {10.1007/978-3-319-23534-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LabaiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ParikhT15,
author = {Rohit Parikh and
{\c{C}}agil Tasdemir},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {The Strategy of Campaigning},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {253--260},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_15},
doi = {10.1007/978-3-319-23534-9\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ParikhT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rabinovich15,
author = {Alexander Rabinovich},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {On Almost Future Temporal Logics},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {261--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_16},
doi = {10.1007/978-3-319-23534-9\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Rabinovich15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sapir15,
author = {Mark V. Sapir},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Minsky Machines and Algorithmic Problems},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {273--292},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_17},
doi = {10.1007/978-3-319-23534-9\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Sapir15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Shelah15,
author = {Saharon Shelah},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {On Failure of 0-1 Laws},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {293--296},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_18},
doi = {10.1007/978-3-319-23534-9\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Shelah15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thomas15,
author = {Wolfgang Thomas},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Composition Over the Natural Number Ordering with an Extra Binary
Relation},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {297--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_19},
doi = {10.1007/978-3-319-23534-9\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thomas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Vovk15,
author = {Vladimir Vovk},
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {The Fundamental Nature of the Log Loss Function},
booktitle = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
pages = {307--318},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9\_20},
doi = {10.1007/978-3-319-23534-9\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Vovk15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015gurevich,
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9},
doi = {10.1007/978-3-319-23534-9},
isbn = {978-3-319-23533-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015gurevich.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-05-02 07:50 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:
