Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided into five chapters which approach the three crucial notions of contem...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: International meeting of young computer scientists :Smolenice, Slovaquie
Altres autors: Dassow, Jürgen, 1947- (Director editorial), Kelemen, Jozef, 1951- (Director editorial)
Format: Livre numérique
Idioma:Anglais
Publicat: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Col·lecció:Lecture notes in computer science 381
Matèries:
Accés en línia:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Machines, languages, and complexity, selected contributions, 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Berlin, Springer-Verlagr, 1989, 1 vol. (VI-244 p.), Lecture notes in computer science, 3-540-51516-X
• Machines, Languages, and Complexity, Texte imprimé, 9783662172100
LEADER 04951nam a22004337a 4500
001 944341
008 110927q2000 xxe ||| |||| 00| 0 eng d
009 PPN155184660
020 |a 9783540482031 (PDF) 
041 0 |a eng 
082 |a 004 
111 2 |a International meeting of young computer scientists  |n (5  |d  :1988  |c  :Smolenice, Slovaquie). 
245 1 0 |a Machines, languages, and complexity :  |b 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions   |c [edited by] J. Dassow, J. Kelemen. 
260 |a Berlin [etc.] :  |b Springer. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture notes in computer science  |v 381  |x 1611-3349 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 0 |a Questions of decidability for context-free chain code picture languages -- Chomsky hierarchy and communication complexity -- Complexity theory and formal languages -- Rational cones and commutations -- A remark on some classifications of Indian parallel languages -- An extension of the Krohn-Rhodes decomposition of automata -- A survey of two-dimensional automata theory -- The simulation of two-dimensional one-marker automata by three-way turing machines -- Some properties of space-bounded synchronized alternating turing machines with only universal states -- The virtual floating grid file -- A partially persistent data structure for the set-union problem with backtracking -- A note on the computational complexity of bracketing and related problems -- Postorder hierarchy for path compressions and set union -- The convex hull problem on grids computational and combinatorial aspects -- The riches of rectangles -- The limitations of partial evaluation -- Algorithmic learning from incomplete information: Principles and problems -- A cryptosystem based on propositional logic -- Tutorial: Cryptography and data security. 
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 
520 |a The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided into five chapters which approach the three crucial notions of contemporary theoretical computer science - machines, languages, and complexity - from different perspectives. The first chapter contains contributions dealing with problems of decidability, hierarchy, and complexity. Papers concerning different types and problems of automata theory form the second chapter. The contributions in the third chapter cover the large field of algorithmics from the study of program complexity to the domain of computational geometry. The two contributions of the fourth chapter are devoted to logic programming and inductive inference. The final chapter deals with problems of cryptography and contains the text of the IMYCS '88 tutorial on cryptography and data security delivered by A. Salomaa. The book will be a useful source for orientation in contemporary theoretical computer science and related fields such as software engineering and artificial intelligence for researchers and graduate students. 
650 |a Informatique 
650 |a Langages de programmation 
650 |a Complexité de calcul (informatique) 
650 |a Intelligence artificielle 
650 |a Logique symbolique et mathématique 
650 |a Ordinateurs 
650 |a Actes de congrès 
700 1 |a Dassow, Jürgen,  |d 1947-  |4 pbd 
700 1 |a Kelemen, Jozef,  |d 1951-  |4 pbd 
776 0 |0 021234183  |t Machines, languages, and complexity  |o selected contributions  |f 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988  |c Berlin  |n Springer-Verlagr  |d 1989  |p 1 vol. (VI-244 p.)  |s Lecture notes in computer science  |z 3-540-51516-X 
776 0 |t Machines, Languages, and Complexity  |b Texte imprimé  |z 9783662172100 
856 4 |q PDF  |u https://doi.org/10.1007/BFb0015922  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KZCL75MW-0  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747920540  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0015922  |z Accès Université d'Orléans 
856 4 |5 180339901:750933011  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0015922  |z Accès INSA CVL 
997 |0 944341  |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/