Muutke küpsiste eelistusi

E-raamat: Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

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.
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th 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 volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.
Part I Full Papers
Residuated Kleene Algebras
1(11)
Hajnal Andreka
Szabolcs Mikulas
Istvan Nemeti
Brzozowski's Algorithm (Co) Algebraically
12(12)
Filippo Bonchi
Marcello M. Bonsangue
Jan J.M.M. Rutten
Alexandra Silva
Experimental Descriptive Complexity
24(11)
Marco Carmosino
Neil Immerman
Charles Jordan
Meditations on Quantified Constraint Satisfaction
35(15)
Hubie Chen
The Compass That Steered Robotics
50(16)
Bruce R. Donald
Subtyping for F-Bounded Quantifiers and Equirecursive Types
66(17)
Neal Glew
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
83(23)
Pawel Gorecki
Jerzy Tiuryn
Capsules and Closures: A Small-Step Approach
106(18)
Jean-Baptiste Jeannin
Nuprl as Logical Framework for Automating Proofs in Category Theory
124(25)
Christoph Kreitz
On the Final Coalgebra of Automatic Sequences
149(16)
Clemens Kupke
Jan J.M.M. Rutten
On Topological Completeness of Regular Tree Languages
165(15)
Henryk Michalewski
Damian Niwinski
A Complete Logical System for the Equality of Recursive Terms for Sets
180(24)
Lawrence S. Moss
Erik Wennstrom
Glen T. Whitney
Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen
204(15)
Jens Palsberg
Combining Epistemic Logic and Hennessy-Milner Logic
219(25)
Sophia Knight
Radu Mardare
Prakash Panangaden
Choice and Uncertainty in Games
244(12)
Rohit Parikh
Cagil Tasdemir
Andreas Witzel
The Complexity of Inhabitation with Explicit Intersection
256(15)
Jakob Rehof
Pawel Urzyczyn
On State Sequences Denned by Reaction Systems
271(12)
Ario Salomaa
On Distance Coloring: A Review Based on Work with Dexter Kozen
283(15)
Alexa Sharp
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
298(20)
Glynn Winskel
Part II Laudatios
Reflections on a \m/ Time with Dexter Kozen
318(4)
Kamal Aboul-Hosn
Two Three Pages Papers
322(1)
Krzysztof R. Apt
A Tribute from the Band
323(1)
John Parker
Joel D. Baines
Paul Miller
Julia Miller
Dexter Kozen; An Appreciation
324(2)
Joseph Y. Halpern
Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance
326(2)
David Harel
Making the World a Better Place
328(1)
John Hopcroft
Timesharing Dexter
329(4)
Susan Landau
A Small Tribute
333(1)
Anil Nerode
Dexter Kozen's Influence on the Theory of Labelled Markov Processes
334(4)
Prakash Panangaden
An Appreciation of Dexter Kozen
338(3)
Rohit Parikh
To Dexter - A Tribute from Aarhus
341(1)
Erik Meineche Schmidt
Mogens Nielsen
Sven Skyum
Travelling with Dexter Kozen
342(10)
Peter van Emde Boas
Dexter as a PhD Advisor
352(2)
Brad Vander Zanden
Rock `n' Roll Computer Science
354(3)
Fritz Henglein
Author Index 357
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836422948532e.html
Märksõnad: