skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Preview this item
ClosePreview this item
Checking...

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

Author: Robert L Constable; Alexandra Silva
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture notes in computer science, 7230.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Logic and program semantics.
Summary:
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) and 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufsatzsammlung
Additional Physical Format: Druckausg.
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert L Constable; Alexandra Silva
ISBN: 9783642294853 3642294855 9783642294846 3642294847
OCLC Number: 799086328
Description: 1 Online-Ressource
Contents: Residuated Kleene Algebras.-Brzozowski?s Algorithm (Co)Algebraically.-Experimental Descriptive Complexity.-Meditations on Quantified Constraint Satisfaction.-The Compass That Steered Robotics.-Subtyping for F-Bounded Quantifiers and Equirecursive Types.-Inferring Evolutionary Scenarios in the Duplication, Loss andHorizontal Gene Transfer Model.-Capsules and Closures: A Small-Step Approach.-Nuprl as Logical Framework for Automating Proofs in CategoryTheory.-On the Final Coalgebra of Automatic Sequences.-On Topological Completeness of Regular Tree Languages.-A Complete Logical System for the Equality of Recursive Terms forSets.-Overloading is NP-Complete: A Tutorial Dedicated to Dexter Kozen.-Combining Epistemic Logic and Hennessy-Milner Logic.-Choice and Uncertainty in Games.-The Complexity of Inhabitation with Explicit Intersection.-On State Sequences Defined by Reaction Systems.-On Distance Coloring: A Review Based on Work with Dexter Kozen.-Winning, Losing and Drawing in Concurrent Games with Perfect orImperfect Information.-Reflections on a \m/ Time with Dexter Kozen.-Two Three Pages Papers.-A Tribute from the Band .-Dexter Kozen: An Appreciation.-Dexter Kozen: A Winning Combination of Brilliance, Depth, andElegance.-Making the World a Better Place.-Timesharing Dexter.-A Small Tribute.-Dexter Kozen?s Influence on the Theory of Labelled MarkovProcesses.-An Appreciation of Dexter Kozen.-To Dexter - A Tribute from Aarhus.-Travelling with Dexter Kozen.-Dexter as a PhD Advisor.-Rock?n?Roll Computer Science.
Series Title: Lecture notes in computer science, 7230.
Responsibility: edited by Robert L. Constable, Alexandra Silva.

Abstract:

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. The volume includes 19 full papers related to Dexter Kozen's research. The second part of this  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/799086328<\/a>> # Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a>, schema:MediaObject<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"799086328<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Place\/berlin_heidelberg<\/a>> ; # Berlin, Heidelberg<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/algorithm_analysis_and_problem_complexity<\/a>> ; # Algorithm Analysis and Problem Complexity<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/logics_and_meanings_of_programs<\/a>> ; # Logics and Meanings of Programs<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/algorithmus<\/a>> ; # Algorithmus<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1124185<\/a>> ; # Software engineering<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmierlogik<\/a>> ; # Programmierlogik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/005.1015113\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematische_methode<\/a>> ; # Mathematische Methode<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematical_logic_and_formal_languages<\/a>> ; # Mathematical Logic and Formal Languages<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmanalyse<\/a>> ; # Programmanalyse<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmiersprache<\/a>> ; # Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programming_techniques<\/a>> ; # Programming Techniques<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002045<\/a>> ; # Logic design<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/kleene_algebra<\/a>> ; # Kleene-Algebra<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/872451<\/a>> ; # Computer science<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/software_engineering<\/a>> ; # Software Engineering<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/koalgebra<\/a>> ; # Koalgebra<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programming_languages_compilers_interpreters<\/a>> ; # Programming Languages, Compilers, Interpreters<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/komplexitatstheorie<\/a>> ; # Komplexit\u00E4tstheorie<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/computer_science<\/a>> ; # Computer Science<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematische_logik<\/a>> ; # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/872527<\/a>> ; # Computer software<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/245887223<\/a>> ; # Alexandra Silva<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/306326891<\/a>> ; # Robert L. Constable<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2012<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"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) and 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 procedures 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.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1124648339<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Aufsatzsammlung<\/span>\" ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/1124648339#CreativeWork\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"799086328<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/799086328#PublicationEvent\/berlin_heidelberg_springer_berlin_heidelberg_2012<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Agent\/springer_berlin_heidelberg<\/a>> ; # Springer Berlin Heidelberg<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/978-3-642-29485-3<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783642294846<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/dx.doi.org\/10.1007\/978-3-642-29485-3<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783642294853<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/799086328<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/005.1015113\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dx.doi.org\/10.1007\/978-3-642-29485-3<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Agent\/springer_berlin_heidelberg<\/a>> # Springer Berlin Heidelberg<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Springer Berlin Heidelberg<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Place\/berlin_heidelberg<\/a>> # Berlin, Heidelberg<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Berlin, Heidelberg<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/799086328<\/a>> ; # Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ;<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture Notes in Computer Science ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/algorithm_analysis_and_problem_complexity<\/a>> # Algorithm Analysis and Problem Complexity<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Algorithm Analysis and Problem Complexity<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/algorithmus<\/a>> # Algorithmus<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Algorithmus<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/computer_science<\/a>> # Computer Science<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer Science<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/kleene_algebra<\/a>> # Kleene-Algebra<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Kleene-Algebra<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/koalgebra<\/a>> # Koalgebra<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Koalgebra<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/komplexitatstheorie<\/a>> # Komplexit\u00E4tstheorie<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Komplexit\u00E4tstheorie<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/logics_and_meanings_of_programs<\/a>> # Logics and Meanings of Programs<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logics and Meanings of Programs<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematical_logic_and_formal_languages<\/a>> # Mathematical Logic and Formal Languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematical Logic and Formal Languages<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematische_logik<\/a>> # Mathematische Logik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematische Logik<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/mathematische_methode<\/a>> # Mathematische Methode<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematische Methode<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmanalyse<\/a>> # Programmanalyse<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programmanalyse<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmierlogik<\/a>> # Programmierlogik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programmierlogik<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programmiersprache<\/a>> # Programmiersprache<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programmiersprache<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programming_languages_compilers_interpreters<\/a>> # Programming Languages, Compilers, Interpreters<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programming Languages, Compilers, Interpreters<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/programming_techniques<\/a>> # Programming Techniques<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Programming Techniques<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Topic\/software_engineering<\/a>> # Software Engineering<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Software Engineering<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"gw<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1002045<\/a>> # Logic design<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic design<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1124185<\/a>> # Software engineering<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Software engineering<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872451<\/a>> # Computer science<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer science<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872527<\/a>> # Computer software<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer software<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/245887223<\/a>> # Alexandra Silva<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Silva<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Alexandra<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Alexandra Silva<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/306326891<\/a>> # Robert L. Constable<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Constable<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Robert L.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Robert L. Constable<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/1124648339#CreativeWork\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Druckausg.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/799086328<\/a>> ; # Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783642294846<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3642294847<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783642294846<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783642294853<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3642294855<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783642294853<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/799086328<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/799086328<\/a>> ; # Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-07-07<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/799086328#PublicationEvent\/berlin_heidelberg_springer_berlin_heidelberg_2012<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Place\/berlin_heidelberg<\/a>> ; # Berlin, Heidelberg<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1124648339#Agent\/springer_berlin_heidelberg<\/a>> ; # Springer Berlin Heidelberg<\/span>\n\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2012<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n