skip to content
Theoretical computer science Preview this item
ClosePreview this item
Checking...

Theoretical computer science

Author: H G Tzschach; H Waldschmidt; H K -G Walter
Publisher: Berlin ; New York : Springer-Verlag, 1977.
Series: Lecture notes in computer science, 48.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
GI-Fachtagung Theoretische Informatik (3rd : 1977 : Darmstadt).
Theoretical computer science.
Berlin ; New York : Springer-Verlag, 1977
(OCoLC)643720994
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: H G Tzschach; H Waldschmidt; H K -G Walter
ISBN: 0387081380 9780387081380 3540081380 9783540081388
OCLC Number: 2837100
Notes: English, French, or German.
Description: 418 pages : illustrations ; 25 cm.
Contents: On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das Aquivalenzproblem fur spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen fur kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke fur den Platzbedarf bei der Analyse beschrankter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise fur While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmbundeln.- Bemerkungen zu den Ubergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften farbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class ?2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexitat der kontextsensitiven Analyse.- Uber Netzwerkgrossen hoherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollstandiges Problem auf der Baummaschine.- Uber die Lange einer Berechnung bei linearer Parameterabhangigkeit der Operationszeit.
Series Title: Lecture notes in computer science, 48.
Other Titles: Gesellschaft für Informatik.
Responsibility: 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H.K.-G. Walter on behalf of the GI.

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/2837100> # Theoretical computer science
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "2837100" ;
   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/6489952#Place/berlin> ; # Berlin
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/6489952#CreativeWork/gesellschaft_fur_informatik> ; # Gesellschaft für Informatik.
   schema:about <http://experiment.worldcat.org/entity/work/data/6489952#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/6489952#Topic/formal_languages> ; # Formal languages
   schema:about <http://experiment.worldcat.org/entity/work/data/6489952#Topic/machine_theory> ; # Machine theory
   schema:about <http://dewey.info/class/001.64201/> ;
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/6489952#Topic/langages_formels> ; # Langages formels
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:about <http://experiment.worldcat.org/entity/work/data/6489952#Topic/automates> ; # Automates
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/109507090> ; # Hermann K.-G. Walter
   schema:contributor <http://viaf.org/viaf/15602310> ; # Helmut Waldschmidt
   schema:contributor <http://viaf.org/viaf/102465650> ; # H. G. Tzschach
   schema:creator <http://experiment.worldcat.org/entity/work/data/6489952#Meeting/gi_fachtagung_theoretische_informatik_3d_darmstadt_1977> ; # GI-Fachtagung Theoretische Informatik., 3d, Darmstadt, 1977.
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/6489952> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/6489952#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/643720994> ;
   schema:name "Theoretical computer science"@en ;
   schema:productID "2837100" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2837100#PublicationEvent/berlin_new_york_springer_verlag_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/6489952#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=48> ;
   schema:url <http://dx.doi.org/10.1007/3-540-08138-0> ;
   schema:workExample <http://worldcat.org/isbn/9780387081380> ;
   schema:workExample <http://worldcat.org/isbn/9783540081388> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2837100> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/6489952#CreativeWork/gesellschaft_fur_informatik> # Gesellschaft für Informatik.
    a schema:CreativeWork ;
   schema:name "Gesellschaft für Informatik." ;
    .

<http://experiment.worldcat.org/entity/work/data/6489952#Meeting/gi_fachtagung_theoretische_informatik_3d_darmstadt_1977> # GI-Fachtagung Theoretische Informatik., 3d, Darmstadt, 1977.
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/6489952#Place/darmstadt> ; # Darmstadt,
   schema:name "GI-Fachtagung Theoretische Informatik., 3d, Darmstadt, 1977." ;
    .

<http://experiment.worldcat.org/entity/work/data/6489952#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2837100> ; # Theoretical computer science
   schema:name "Lecture notes in computer science ;" ;
    .

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

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

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/102465650> # H. G. Tzschach
    a schema:Person ;
   schema:familyName "Tzschach" ;
   schema:givenName "H. G." ;
   schema:name "H. G. Tzschach" ;
    .

<http://viaf.org/viaf/109507090> # Hermann K.-G. Walter
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Walter" ;
   schema:givenName "Hermann K.-G." ;
   schema:givenName "H. K.-G" ;
   schema:name "Hermann K.-G. Walter" ;
    .

<http://viaf.org/viaf/15602310> # Helmut Waldschmidt
    a schema:Person ;
   schema:familyName "Waldschmidt" ;
   schema:givenName "Helmut" ;
   schema:givenName "H." ;
   schema:name "Helmut Waldschmidt" ;
    .

<http://worldcat.org/isbn/9780387081380>
    a schema:ProductModel ;
   schema:isbn "0387081380" ;
   schema:isbn "9780387081380" ;
    .

<http://worldcat.org/isbn/9783540081388>
    a schema:ProductModel ;
   schema:isbn "3540081380" ;
   schema:isbn "9783540081388" ;
    .

<http://www.worldcat.org/oclc/643720994>
    a schema:CreativeWork ;
   rdfs:label "Theoretical computer science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/2837100> ; # Theoretical computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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