Discrete subgroups of locally definable groups
- 作者Alessandro Berarducci, Mário Edmundo, Marcello Mamino
- 卷第19卷
- 期第3期
- 文件大小271.24KB
- 发表时间2013-08
- DOI10.1007/s00029-013-0123-9
- 页码719-736
同期刊推荐
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