文章基本信息
- 标题：Model Theory in Computer Science: My Own Recurrent Themes
- 本地全文：下载
- 作者：Johann A. Makowsky
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2011
- 卷号：12
- 页码：553-567
- DOI：10.4230/LIPIcs.CSL.2011.553
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：I review my own experiences in research and the management of science.
- 关键词：model theory; finite model theory; databases; graph invariants
