GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre numérique |
| Jezik: | Allemand Anglais Français |
| Izdano: |
Berlin [etc.] :
Springer
2006.
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
2 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fachtagung über Automatentheorie und Formale Sprachen, 1, Bonn, 9-12, Juli 1973, Gesellschaft für Informatik, Berlin, Springer, 1973, p., Lecture notes in computer science, 3-540-06527-X • 1. Fachtagung über Automatentheorie und Formale Sprachen, Texte imprimé, 9783662190609 |
| LEADER | 04673nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945015 | ||
| 008 | 110927q2006 xxe ||| |||| 00| 0 ger d | ||
| 009 | PPN155211382 | ||
| 020 | |a 9783540378266 : |c PDF | ||
| 041 | 0 | |a ger |a eng |a fre | |
| 082 | |a 004 | ||
| 111 | 2 | |a Gesellschaft für Informatik |d (1973 |c :Bonn, Allemagne). | |
| 245 | 1 | 0 | |a GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : |b Bonn, 9. 12. Juli 1973 |c Herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c 2006. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- Acharacterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Informatique | ||
| 650 | |a Langages formels | ||
| 650 | |a Automates mathématiques, Théorie des | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Böhling, Karl Heinz. |4 pbd | |
| 700 | 1 | |a Indermark, Klaus, |d 19..- |4 pbd | |
| 776 | 0 | |0 017111285 |t Fachtagung über Automatentheorie und Formale Sprachen |h 1 |o Bonn, 9-12, Juli 1973 |f Gesellschaft für Informatik |c Berlin |n Springer |d 1973 |p p. |s Lecture notes in computer science |z 3-540-06527-X | |
| 776 | 0 | |t 1. Fachtagung über Automatentheorie und Formale Sprachen |b Texte imprimé |z 9783662190609 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0039132 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-076R834G-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747914400 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0039132 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927100 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0039132 |z Accès INSA CVL | |
| 997 | |0 945015 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||