skip to content
Was ist theoretische Pathologie? Preview this item
ClosePreview this item
Checking...

Was ist theoretische Pathologie?

Author: Wilhelm Doerr; Heinrich Schipperges
Publisher: Berlin ; New York : Springer-Verlag, 1979.
Series: Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften.
Edition/Format:   Print book : GermanView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008.

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

Additional Physical Format: Online version:
Doerr, Wilhelm, 1914-
Was ist theoretische Pathologie?
Berlin ; New York : Springer-Verlag, 1979
(OCoLC)775853824
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Wilhelm Doerr; Heinrich Schipperges
ISBN: 0387096795 9780387096797 3540096795 9783540096795
OCLC Number: 6358196
Description: 74 pages ; 25 cm.
Contents: Track A.- Ambiguity and Complementation in Recognizable Two-dimensional Languages.- Algorithmic Game Theory: Some Greatest Hits and Future Directions.- Synchronizing Road Coloring.- Leader Election in Anonymous Rings: Franklin Goes Probabilistic.- Inverse Problems Have Inverse Complexity.- Literal Shuffle of Compressed Words.- Reconstructing words from a fixed palindromic length sequence.- The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.- Partitioning Random Graphs with General Degree Distributions.- On the Longest Common Factor Problem.- Stable Dynamics of Sand Automata.- On tractability of Cops and Robbers game.- Computability of Tilings.- A Classification of Degenerate Loop Agreement.- On the expressive power of univariate equations over sets of natural numbers.- Collisions and their Catenations: Ultimately Periodic Tilings of the Plane.- Cache-sensitive Memory Layout for Binary Trees.- Track B.- From Processes to ODEs by Chemistry.- Differential Linear Logic and Processes.- Solving Monotone Polynomial Equations.- Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.- Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.- ?-calculus Pushdown Module Checking with Imperfect State Information.- From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.- On Traits and Types in a Java-like Setting.- Canonical Sequent Proofs via Multi-Focusing.- Universal Coinductive Characterisations of Process Semantics.- Static and dynamic typing for the termination of mobile processes.- Regular n-ary Queries in Trees and Variable Independence.- Hamiltonicity of automatic graphs.- Marking the chops: an unambiguous temporal logic.- On Boundedness in Depth in the ?-Calculus.- A Unified View of Tree Automata and Term Schematisations.- Deconstructing behavioural theories of mobility.- Adequacy of Compositional Translations for Observational Semantics.- The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
Series Title: Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften.
Responsibility: W. Doerr, H. Schipperges.

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


Primary Entity

<http://www.worldcat.org/oclc/6358196> # Was ist theoretische Pathologie?
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "6358196" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/21985974#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/1054967> ; # Pathology--Philosophy
    schema:about <http://dewey.info/class/616.07/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/theorie> ; # Theorie
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/attitude_to_health> ; # Attitude to Health
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/pathology> ; # Pathology
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/pathology_philosophy> ; # Pathology--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/disease> ; # Disease
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/philosophy_medical> ; # Philosophy, Medical
    schema:about <http://experiment.worldcat.org/entity/work/data/21985974#Topic/pathologie> ; # Pathologie
    schema:author <http://viaf.org/viaf/109488168> ; # Heinrich Schipperges
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/133333> ; # Wilhelm Doerr
    schema:datePublished "1979" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/21985974> ;
    schema:inLanguage "de" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/21985974#Series/veroffentlichungen_aus_der_forschungsstelle_fur_theoretische_pathologie_der_heidelberger_akademie_der_wissenschaften> ; # Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften.
    schema:isSimilarTo <http://www.worldcat.org/oclc/775853824> ;
    schema:name "Was ist theoretische Pathologie?" ;
    schema:productID "6358196" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/6358196#PublicationEvent/berlin_new_york_springer_verlag_1979> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/21985974#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387096797.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540096795> ;
    schema:workExample <http://worldcat.org/isbn/9780387096797> ;
    umbel:isLike <http://d-nb.info/800117824> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/6358196> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/21985974#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/21985974#Series/veroffentlichungen_aus_der_forschungsstelle_fur_theoretische_pathologie_der_heidelberger_akademie_der_wissenschaften> # Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/6358196> ; # Was ist theoretische Pathologie?
    schema:name "Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften." ;
    schema:name "Veröffentlichungen aus der Forschungsstelle für Theoretische Pathologie der Heidelberger Akademie der Wissenschaften" ;
    .

<http://experiment.worldcat.org/entity/work/data/21985974#Topic/attitude_to_health> # Attitude to Health
    a schema:Intangible ;
    schema:name "Attitude to Health" ;
    .

<http://experiment.worldcat.org/entity/work/data/21985974#Topic/philosophy_medical> # Philosophy, Medical
    a schema:Intangible ;
    schema:name "Philosophy, Medical" ;
    .

<http://id.worldcat.org/fast/1054967> # Pathology--Philosophy
    a schema:Intangible ;
    schema:name "Pathology--Philosophy" ;
    .

<http://viaf.org/viaf/109488168> # Heinrich Schipperges
    a schema:Person ;
    schema:familyName "Schipperges" ;
    schema:givenName "Heinrich" ;
    schema:name "Heinrich Schipperges" ;
    .

<http://viaf.org/viaf/133333> # Wilhelm Doerr
    a schema:Person ;
    schema:birthDate "1914" ;
    schema:familyName "Doerr" ;
    schema:givenName "Wilhelm" ;
    schema:name "Wilhelm Doerr" ;
    .

<http://worldcat.org/isbn/9780387096797>
    a schema:ProductModel ;
    schema:isbn "0387096795" ;
    schema:isbn "9780387096797" ;
    .

<http://worldcat.org/isbn/9783540096795>
    a schema:ProductModel ;
    schema:isbn "3540096795" ;
    schema:isbn "9783540096795" ;
    .

<http://www.worldcat.org/oclc/775853824>
    a schema:CreativeWork ;
    rdfs:label "Was ist theoretische Pathologie?" ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/6358196> ; # Was ist theoretische Pathologie?
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.