Muutke küpsiste eelistusi

E-raamat: Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Edited by , Edited by , Edited by , Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th BirthdaySuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 25th Annual Conference on Computer Science Logic (CSL 2015).
K-trivial, K-low and MLR-low Sequences: A Tutorial
1(23)
Laurent Bienvenu
Alexander Shen
Horn Clause Solvers for Program Verification
24(28)
Nikolaj Bjorner
Arie Gurfinkel
Ken McMillan
Andrey Rybalchenko
Existential Fixed-Point Logic as a Fragment of Second-Order Logic
52(17)
Andreas Blass
On the Unpredictability of Individual Quantum Measurement Outcomes
69(18)
Alastair A. Abbott
Cristian S. Calude
Karl Svozil
The Ehrenfeucht-Fraisse Method and the Planted Clique Conjecture
87(22)
Yijia Chen
Jorg Flum
Monadic Theory of a Linear Order Versus the Theory of Its Subsets with the Lifted Min/Max Operations
109(20)
Christian Choffrut
Serge Grigorieff
Regularity Equals Monadic Second-Order Definability for Quasi-trees
129(13)
Bruno Courcelle
Capturing MSO with One Quantifier
142(11)
Anuj Dawar
Luc Segoufin
Logics for Weighted Timed Pushdown Automata
153(21)
Manfred Droste
Vitaly Perevoshchikov
Inherent Vacuity in Lattice Automata
174(19)
Hila Gonen
Orna Kupferman
Is Polynomial Time Choiceless?
193(17)
Erich Gradel
Martin Grohe
Arithmetical Congruence Preservation: From Finite to Infinite
210(16)
Patrick Cegielski
Serge Grigorieff
Irene Guessarian
An Extension of the Ehrenfeucht-Fraisse Game for First Order Logics Augmented with Lindstrom Quantifiers
226(11)
Simi Haber
Saharon Shelah
Logics of Finite Hankel Rank
237(16)
Nadia Labai
Johann A. Makowsky
The Strategy of Campaigning
253(8)
Rohit Parikh
Cagil Tasdemir
On Almost Future Temporal Logics
261(12)
Alexander Rabinovich
Minsky Machines and Algorithmic Problems
273(20)
Mark Sapir
On Failure of 0-1 Laws
293(4)
Saharon Shelah
Composition over the Natural Number Ordering with an Extra Binary Relation
297(10)
Wolfgang Thomas
The Fundamental Nature of the Log Loss Function
307(12)
Vladimir Vovk
Author Index 319
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833192353492e.html
Märksõnad: