首页
期刊浏览
2024年09月01日 星期日
登录
注册
高级检索
专家检索
文章基本信息
标题:
The Succinctness of First-order Logic on Linear Orders
本地全文:
下载
作者:
Martin Grohe
;
Nicole Schweikardt
期刊名称:
Logical Methods in Computer Science
印刷版ISSN:
1860-5974
电子版ISSN:
1860-5974
出版年度:
2005
卷号:
1
期号:
1
出版社:
Technical University of Braunschweig
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有