找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Computer Science - Theory and Applications; Third International Edward A. Hirsch,Alexander A. Razborov,Anatol Slis Conference proceedings

[复制链接]
查看: 23971|回复: 71
发表于 2025-3-21 17:27:24 | 显示全部楼层 |阅读模式
书目名称Computer Science - Theory and Applications
副标题Third International
编辑Edward A. Hirsch,Alexander A. Razborov,Anatol Slis
视频video
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Computer Science - Theory and Applications; Third International  Edward A. Hirsch,Alexander A. Razborov,Anatol Slis Conference proceedings
描述This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics.
出版日期Conference proceedings 2008
关键词Automat; Hardware; algorithms; artificial intelligence; automata; complexity; computer architecture; comput
版次1
doihttps://doi.org/10.1007/978-3-540-79709-8
isbn_softcover978-3-540-79708-1
isbn_ebook978-3-540-79709-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2008
The information of publication is updating

书目名称Computer Science - Theory and Applications影响因子(影响力)




书目名称Computer Science - Theory and Applications影响因子(影响力)学科排名




书目名称Computer Science - Theory and Applications网络公开度




书目名称Computer Science - Theory and Applications网络公开度学科排名




书目名称Computer Science - Theory and Applications被引频次




书目名称Computer Science - Theory and Applications被引频次学科排名




书目名称Computer Science - Theory and Applications年度引用




书目名称Computer Science - Theory and Applications年度引用学科排名




书目名称Computer Science - Theory and Applications读者反馈




书目名称Computer Science - Theory and Applications读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 23:55:42 | 显示全部楼层
发表于 2025-3-22 03:21:10 | 显示全部楼层
发表于 2025-3-22 06:51:28 | 显示全部楼层
Twelve Problems in Proof Complexitymputational complexity, the goals are different. In proof complexity we are studying the question . There are various ways how one can measure the . of a theorem. We may ask what is . of the theorem in a given formal system. Thus the complexity is the size of proofs. This corresponds to questions in
发表于 2025-3-22 08:46:09 | 显示全部楼层
发表于 2025-3-22 16:40:14 | 显示全部楼层
Simple Stochastic Games, Mean Payoff Games, Parity Gameson finite graphs. The best known algorithms for the solution of these games run in subexponential time and it is a major open problem whether they can be solved in polynomial time. In the talk, I plan to define these games, describe what is known about them and present many intriguing open problems.
发表于 2025-3-22 18:26:55 | 显示全部楼层
发表于 2025-3-22 21:39:43 | 显示全部楼层
A Logspace Algorithm for Partial 2-Tree Canonizationsteps: (a) We exploit the “tree of cycles” property of biconnected partial 2-trees to canonize them in logspace. (b) We analyze Lindell’s tree canonization algorithm and show that canonizing general partial 2-trees is also in logspace, using the algorithm to canonize biconnected partial 2-trees.
发表于 2025-3-23 04:17:16 | 显示全部楼层
发表于 2025-3-23 05:54:41 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-4 10:40
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表