Trends, techniques, and problems in theoretical computer science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13 17, 1986 : selected contributions
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
281 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Trends, techniques, and problems in theoretical computer science, selected contributions, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, 1987, Berlin, Springer-Verlag, 1 vol. (VI- 213 p.), Lecture notes in computer science, 0-387-18535-6 • Trends, Techniques, and Problems in Theoretical Computer Science, Texte imprimé, 9783540185352 • Trends, Techniques, and Problems in Theoretical Computer Science, Texte imprimé, 9783662197363 |
Aurkibidea:
- Lower bound techniques for VLSI algorithms
- The equivalence of mappings on languages
- Kleene's theorem revisited
- Some combinatorial problems concerning finite languages
- A connection between descriptional complexity of context-free grammars and grammar form theory
- Basic ideas of selective substitution grammars
- Some recent restrictions in the derivation of context-free grammars
- Recent results on the theory of homogeneous structures
- A note on the ratio function in DOL systems
- Models for multicellular development: Characterization, inference and complexity of L-systems
- A formal model of knowledge-based systems
- Basic complexity analysis of hypothesis formation
- Perspectives of logic programming.