![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
IMYCS 1986: Smolenice, Czechoslovakia
- Alica Kelemenová, Jozef Kelemen:
Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings. Lecture Notes in Computer Science 281, Springer 1987, ISBN 3-540-18535-6
VLSI and Formal Languages
- Juraj Hromkovic:
Lower bound techniques for VLSI algorithms. 2-25 - Juhani Karhumäki:
The equivalence of mappings on languages. 26-38 - Jacques Sakarovitch:
Kleene's theorem revisited. 39-50 - Zsolt Tuza:
Some combinatorial problems concerning finite languages. 51-58
Theory of Formal Grammars
- Erzsébet Csuhaj-Varjú:
A connection between descriptional complexity of context-free grammars and grammar form theory. 60-74 - H. C. M. Kleijn:
Basic ideas of selective substitution grammars. 75-95 - Gheorghe Paun:
Some recent restrictions in the derivation of context-free grammars. 96-108
Biologically Motivated Structures
- Victor Aladyev:
Recent results on the theory of homogeneous structures. 110-128 - Mária Králová:
A note on the ratio function in DOL Systems. 129-137 - Aristid Lindenmayer:
Models for multicellular development: Characterization, inference and complexity of L-systems. 138-168
Artificial Intelligence
- Ivan Kalas:
A formal model of knowledge-based systems. 170-181 - Frederick N. Springsteel:
Basic complexity analysis of hypothesis formation. 182-199 - Péter Szeredi:
Perspectives of logic programming. 200-213
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.