Gerhard Pretzmann (1929-2013): his contributions to carcinology
- 期刊名称Crustaceana
- 作者Dworschak, Peter C.
- 卷第87卷
- 期第14期
- 印刷ISSN0011-216X
- 电子ISSN1568-5403
- 文件大小7556.81KB
- 发表时间2014-11-20
- DOI10.1163/15685403-00003379
- 页码1704-1723
[IEEE 23rd Annual Symposium on Foundations of Computer Science - Chicago, IL, USA (1982.11.3-1982.11.5)] 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982) - On decomposition of relational databasesVardi, Moshe Y.; Vardi, Moshe Y.; Vardi, Moshe Y.; Vardi, Moshe Y. · 1982
Common knowledge revisitedRonald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi · 1999
Knowledge-based programsRonald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi · 1997
LTL satisfiability checkingKristin Y. Rozier; Moshe Y. Vardi · 2010
A nonstandard approach to the logical omniscience problemRonald Fagin; Joseph Y. Halpern; Moshe Y. Vardi · 1995
Reasoning about Knowledge: A Response by the AuthorsRonald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi · 1997
The hierarchical approach to modeling knowledge and common knowledgeRonald Fagin; John Geanakoplos; Joseph Y. Halpern; Moshe Y. Vardi · 1999
Querying logical databasesMoshe Y. Vardi · 1986
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977