Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday > Experimental Descriptive Complexity
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday |
Robert L. Constable; Alexandra Silva
Springer Berlin Heidelberg
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Experimental Descriptive Complexity
Authors

Marco Carmosino; Neil Immerman; Charles Jordan

ARI Id

1665028207657_4529188

Access

Not Available Free

Pages

24-34

DOI

10.1007/978-3-642-29485-3_3

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-29485-3_3

Table of Contents of Book
Showing 1 to 20 of 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Residuated Kleene Algebras
Hajnal Andréka; Szabolcs Mikulás; István Németi
1-11
Brzozowski’s Algorithm (Co)Algebraically
Filippo Bonchi; Marcello M. Bonsangue; Jan J. M. M. Rutten; Alexandra Silva
12-23
Experimental Descriptive Complexity
Marco Carmosino; Neil Immerman; Charles Jordan
24-34
Meditations on Quantified Constraint Satisfaction
Hubie Chen
35-49
The Compass That Steered Robotics
Bruce R. Donald
50-65
Subtyping for F-Bounded Quantifiers and Equirecursive Types
Neal Glew
66-82
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
Paweł Górecki; Jerzy Tiuryn
83-105
Capsules and Closures: A Small-Step Approach
Jean-Baptiste Jeannin
106-123
Nuprl as Logical Framework for Automating Proofs in Category Theory
Christoph Kreitz
124-148
On the Final Coalgebra of Automatic Sequences
Clemens Kupke; Jan J. M. M. Rutten
149-164
On Topological Completeness of Regular Tree Languages
Henryk Michalewski; Damian Niwiński
165-179
A Complete Logical System for the Equality of Recursive Terms for Sets
Lawrence S. Moss; Erik Wennstrom; Glen T. Whitney
180-203
Overloading Is NP-Complete
Jens Palsberg
204-218
Combining Epistemic Logic and Hennessy-Milner Logic
Sophia Knight; Radu Mardare; Prakash Panangaden
219-243
Choice and Uncertainty in Games
Rohit Parikh; Çağıl Taşdemir; Andreas Witzel
244-255
The Complexity of Inhabitation with Explicit Intersection
Jakob Rehof; Paweł Urzyczyn
256-270
On State Sequences Defined by Reaction Systems
Arto Salomaa
271-282
On Distance Coloring
Alexa Sharp
283-297
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
Glynn Winskel
298-317
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings