skip to content
Logic and machines : decision problems and complexity : Proceedings of the Symposium Preview this item
ClosePreview this item
Checking...

Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen

Author: E Börger; G Hasenjaeger; D Rödding
Publisher: Berlin ; New York : Springer-Verlag, 1984.
Series: Lecture notes in computer science, 171.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Kongress
Kongreß
Congresses
Congrès
Additional Physical Format: Online version:
Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen).
Logic and machines.
Berlin ; New York : Springer-Verlag, 1984
(OCoLC)562448499
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: E Börger; G Hasenjaeger; D Rödding
ISBN: 0387133313 9780387133317 3540133313 9783540133315
OCLC Number: 10754176
Description: vi, 456 pages : illustrations ; 25 cm.
Contents: P-mitotic sets.- Equivalence relations, invariants, and normal forms, II.- Recurrence relations for the number of labeled structures on a finite set.- Recursively enumerable extensions of R1 by finite functions.- On the complement of one complexity class in another.- The length-problem.- On r.e. inseparability of CPO index sets.- Arithmetical degrees of index sets for complexity classes.- Rudimentary relations and Turing machines with linear alternation.- A critical-pair/completion algorithm for finitely generated ideals in rings.- Extensible algorithms.- Some reordering properties for inequality proof trees.- Modular decomposition of automata.- Modular machines, undecidability and incompleteness.- Universal Turing machines (UTM) and Jones-Matiyasevich-masking.- Complexity of loop-problems in normed networks.- On the solvability of the extended ?? ? ??? - Ackermann class with identity.- Reductions for the satisfiability with a simple interpretation of the predicate variable.- The computational complexity of the unconstrained limited domino problem (with implications for logical decision problems).- Implicit definability of finite binary trees by sets of equations.- Spektralproblem and completeness of logical decision problems.- Reduction to NP-complete problems by interpretations.- Universal quantifiers and time complexity of random access machines.- Second order spectra.- On the argument complexity of multiply transitive Boolean functions.- The VLSI complexity of Boolean functions.- Fast parallel algorithms for finding all prime implicants for discrete functions.- Bounds for Hodes - Specker theorem.- Proving lower bounds on the monotone complexity of Boolean functions.
Series Title: Lecture notes in computer science, 171.
Responsibility: edited by E. Börger, G. Hasenjaeger, and D. Rödding.

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/10754176> # Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "10754176" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1102745604#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/theorie_machine> ; # théorie machine
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/kongress> ; # Kongress
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/prise_decision> ; # prise décision
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/combinatoire> ; # combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/algorithme> ; # algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/theorie_recursion> ; # théorie récursion
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/automate> ; # automate
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/logique_combinatoire> ; # logique combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/fonction_complexe> ; # fonction complexe
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/kombinatorik> ; # Kombinatorik
    schema:about <http://id.worldcat.org/fast/889035> ; # Decision making
    schema:about <http://dewey.info/class/511/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/fonction_booleenne> ; # fonction booléenne
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/complexite_calcul> ; # complexité calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/prise_de_decision> ; # Prise de décision
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/entscheidungstheorie> ; # Entscheidungstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/decision_making> ; # Decision making
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/automates> ; # Automates
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745604#Topic/rekursivitat> ; # Rekursivität
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/25075116> ; # Dieter Rödding
    schema:contributor <http://viaf.org/viaf/91872544> ; # Gisbert Hasenjaeger
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1102745604#Person/borger_e_egon_1946> ; # Egon Börger
    schema:creator <http://experiment.worldcat.org/entity/work/data/1102745604#Meeting/symposium_rekursive_kombinatorik_1983_institut_fur_mathematische_logik_und_grundlagenforschung_der_universitat_munster_westfalen> ; # Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
    schema:datePublished "1984" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1102745604> ;
    schema:genre "Kongreß"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1102745604#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/562448499> ;
    schema:name "Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen"@en ;
    schema:productID "10754176" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/10754176#PublicationEvent/berlin_new_york_springer_verlag_1984> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1102745604#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:workExample <http://worldcat.org/isbn/9783540133315> ;
    schema:workExample <http://worldcat.org/isbn/9780387133317> ;
    umbel:isLike <http://d-nb.info/840522398> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/10754176> ;
    .


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/1102745604#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Meeting/symposium_rekursive_kombinatorik_1983_institut_fur_mathematische_logik_und_grundlagenforschung_der_universitat_munster_westfalen> # Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1102745604#Place/institut_fur_mathematische_logik_und_grundlagenforschung_der_universitat_munster_westfalen> ; # Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
    schema:name "Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Person/borger_e_egon_1946> # Egon Börger
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Börger" ;
    schema:givenName "Egon" ;
    schema:givenName "E." ;
    schema:name "Egon Börger" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Place/institut_fur_mathematische_logik_und_grundlagenforschung_der_universitat_munster_westfalen> # Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
    a schema:Place ;
    schema:name "Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/10754176> ; # Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
    schema:name "complexité calcul"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/entscheidungstheorie> # Entscheidungstheorie
    a schema:Intangible ;
    schema:name "Entscheidungstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/fonction_booleenne> # fonction booléenne
    a schema:Intangible ;
    schema:name "fonction booléenne"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/fonction_complexe> # fonction complexe
    a schema:Intangible ;
    schema:name "fonction complexe"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/logique_combinatoire> # logique combinatoire
    a schema:Intangible ;
    schema:name "logique combinatoire"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/prise_de_decision> # Prise de décision
    a schema:Intangible ;
    schema:name "Prise de décision"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745604#Topic/theorie_recursion> # théorie récursion
    a schema:Intangible ;
    schema:name "théorie récursion"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/889035> # Decision making
    a schema:Intangible ;
    schema:name "Decision making"@en ;
    .

<http://viaf.org/viaf/25075116> # Dieter Rödding
    a schema:Person ;
    schema:birthDate "1937" ;
    schema:familyName "Rödding" ;
    schema:givenName "Dieter" ;
    schema:givenName "D." ;
    schema:name "Dieter Rödding" ;
    .

<http://viaf.org/viaf/91872544> # Gisbert Hasenjaeger
    a schema:Person ;
    schema:birthDate "1919" ;
    schema:familyName "Hasenjaeger" ;
    schema:givenName "Gisbert" ;
    schema:givenName "G." ;
    schema:name "Gisbert Hasenjaeger" ;
    .

<http://worldcat.org/isbn/9780387133317>
    a schema:ProductModel ;
    schema:isbn "0387133313" ;
    schema:isbn "9780387133317" ;
    .

<http://worldcat.org/isbn/9783540133315>
    a schema:ProductModel ;
    schema:isbn "3540133313" ;
    schema:isbn "9783540133315" ;
    .

<http://www.worldcat.org/oclc/562448499>
    a schema:CreativeWork ;
    rdfs:label "Logic and machines." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/10754176> ; # Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
    .

<http://www.worldcat.org/title/-/oclc/10754176>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/10754176> ; # Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
    schema:dateModified "2016-06-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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