Theoretical computer science : 3rd Gl Conference, Darmstadt, March 28-30, 1977
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais Allemand Français |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
48 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theoretical computer science 3rd GI Conference, Darmstadt, March 28-30, 1977, GI conference on theoretical computer science, Berlin, Springer, 1977, Lecture notes in computer science - LNCS, 3-540-08138-0 • Theoretical Computer Science, Texte imprimé, 9783662198957 |
Table des matières:
- 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 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 benutztenoperationen
- Ein vollständiges Problem auf der Baummaschine
- Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.