IMYCS 1986: Smolenice, Czechoslovakia

@proceedings{DBLP:conf/imycs/1986,
  editor    = {Alica Kelemenov{\'a} and
               Jozef Kelemen},
  title     = {Trends, Techniques, and Problems in Theoretical Computer Science,
               4th International Meeting of Young Computer Scientists, Smolenice,
               Czechoslovakia, October 13-17, 1986, Proceedings},
  booktitle = {IMYCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {281},
  year      = {1987},
  isbn      = {3-540-18535-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

VLSI and Formal Languages

• Juraj Hromkovic: Lower bound techniques for VLSI algorithms. 2-25 BibTeX
• Juhani Karhumäki: The equivalence of mappings on languages. 26-38 BibTeX
• Jacques Sakarovitch: Kleene's theorem revisited. 39-50 BibTeX
• Zsolt Tuza: Some combinatorial problems concerning finite languages. 51-58 BibTeX

Theory of Formal Grammars

• Erzsébet Csuhaj-Varjú: A connection between descriptional complexity of context-free grammars and grammar form theory. 60-74 BibTeX
• H. C. M. Kleijn: Basic ideas of selective substitution grammars. 75-95 BibTeX
• Gheorghe Paun: Some recent restrictions in the derivation of context-free grammars. 96-108 BibTeX

Biologically Motivated Structures

• Victor Aladyev: Recent results on the theory of homogeneous structures. 110-128 BibTeX
• Mária Králová: A note on the ratio function in DOL Systems. 129-137 BibTeX
• Aristid Lindenmayer: Models for multicellular development: Characterization, inference and complexity of L-systems. 138-168 BibTeX

Artificial Intelligence

• Ivan Kalas: A formal model of knowledge-based systems. 170-181 BibTeX
• Frederick N. Springsteel: Basic complexity analysis of hypothesis formation. 182-199 BibTeX
• Péter Szeredi: Perspectives of logic programming. 200-213 BibTeX