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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309