Ditemukan 7 dokumen yang sesuai dengan query
Hsu-Chun Yen, editor
This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or extended abstracts of 4 invited...
Berlin: [Springer-Verlag;, ], 2012
e20410182
eBooks Universitas Indonesia Library
This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional...
Berlin: Springer-Verlag, 2012
e20410178
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars,...
Berlin: Springer-Verlag, 2012
e20410207
eBooks Universitas Indonesia Library
Hartmanis, Juris, author
An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.
The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL,...
Philadelphia: Society for Industrial and Applied Mathematics, 1989
e20448473
eBooks Universitas Indonesia Library
Makinson, David, author
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction, but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the...
London: Springer, 2012
e20407539
eBooks Universitas Indonesia Library
Groote, Philippe de, editor
This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Information in July 2010/2011. The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers...
Berlin: [Springer-Verlag;, ], 2012
e20410160
eBooks Universitas Indonesia Library
Adrian-Horia Dediu, editor
This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410277
eBooks Universitas Indonesia Library
