Theoretical studies in computer science
著者
書誌事項
Theoretical studies in computer science
Academic Press, c1992
大学図書館所蔵 件 / 全27件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
This work in honour of Seymour Ginsburg, contains original technical and historical papers relating to the areas of computer science in which he has worked. Among the topics covered are context-free languages, query languages, database and language theory, knowledge bases and polygon clipping.
目次
- Context-free multilanguages, D.E. Knuth
- proving nonmembership in certain families of context-free languages, M.A. Harrison
- single tree grammars, S. Greibach, et al
- the complexity of structural containment and equivalence, D.J. Rosenkrantz and H.B. Hunt III
- the interface between language theory and database theory, J. Ullman
- automata theory for database theoreticians, M.Y. Vardi
- on datalog linearization of chain queries, G. Dong
- expressive power of query languages, S. Abiteboul and V. Vianu
- object identity and query equivalences, R. Hull and M. Yoshikawa
- a unified approach to data and meta-data modification for data/knowledge bases, I.M.A. Chen and D. McLeod
- polygon clipping - analysis and experiences, E. Horowitz and M. Papa.
「Nielsen BookData」 より