04061nam 22005535 450 99646532780331620200701105505.03-540-37389-610.1007/3-540-08138-0(CKB)1000000000229830(SSID)ssj0000327183(PQKBManifestationID)11230844(PQKBTitleCode)TC0000327183(PQKBWorkID)10316433(PQKB)11027246(DE-He213)978-3-540-37389-6(PPN)155174363(EXLCZ)99100000000022983020121227d1977 u| 0engurnn|008mamaatxtccrTheoretical Computer Science[electronic resource] 3rd GI Conference Darmstadt, March 28-30, 1977 /herausgegeben von H. Tzschach, H. Waldschmidt, H. K.-G. Walter1st ed. 1977.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1977.1 online resource (XII, 428 p.) Lecture Notes in Computer Science,0302-9743 ;48Bibliographic Level Mode of Issuance: Monograph3-540-08138-0 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 Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen -- A comparative study of one-counter Ianov schemes -- Grobstrukturen für kontextfreie Grammatiken -- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache -- Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter 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 für While-Programme -- Towards automation of proofs by induction -- A syntactic connection between proof procedures and refutation procedures -- Struktur von Programmbündeln -- Bemerkungen zu den Übergangshalbgruppen 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 färbbarer 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 Zeitkomplexität der kontextsensitiven Analyse -- Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen -- Ein vollständiges Problem auf der Baummaschine -- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.Lecture Notes in Computer Science,0302-9743 ;48ComputersComputer scienceTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer Science, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/I00001Computers.Computer science.Theory of Computation.Computer Science, general.004.0151Tzschach Hedthttp://id.loc.gov/vocabulary/relators/edtWaldschmidt Hedthttp://id.loc.gov/vocabulary/relators/edtWalter H. K.-Gedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465327803316Theoretical computer science104541UNISA01048nam0 22002651i 450 UON0009220520231205102516.15920020107d1970 |0itac50 bagerDE|||| 1||||ˆDie ‰geschichtliche Bedeutung des HellennamensHans Erich StierOpladenWestdeutscher Verlag197062 p.23 cm001UON000877542001 Arbeitgemeinschaft fur Forschung des Landes Nordrhein-Westfalen159DEKölnUONL005641BSTORIA GRECAASTIERHans ErichUONV048686203025Westdeutscher VerlagUONV246862650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00092205SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI B MC 088 SI MC 1053 5 Geschichtliche Bedeutung des Hellennamens1303871UNIOR