掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International symposium on mathematical foundations of computer science
International symposium on mathematical foundations of computer science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The Transitivity Problem of Turing Machines
机译:
图灵机的传递问题
作者:
Anahi Gajardo
;
Nicolas Ollinger
;
Rodrigo Torres-Aviles
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Reversible computing;
Discrete dynamical systems;
Symbolic dynamics;
Topological dynamics;
Computability;
2.
QMA with Subset State Witnesses
机译:
QMA具有子集状态证人
作者:
Alex Bredariol Grilo
;
Iordanis Kerenidis
;
Jamie Sikora
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
3.
A Circuit Complexity Approach to Transductions
机译:
转换的电路复杂性方法
作者:
Michaeel Cadilhac
;
Andreas Krebs
;
Michael Ludwig
;
Charles Paperman
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
4.
Quasiperiodicity and Non-computability in Tilings
机译:
曲线中的QuaSiperiodicity和不可计算的
作者:
Bruno Durand
;
Andrei Romashchenko
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Tiling;
Wang tiles;
Computability;
Quasiperiodicity;
Fixed point;
5.
Efficient Equilibria in Polymatrix Coordination Games
机译:
Polyatrix协调游戏中有效均衡
作者:
Mona Rahn
;
Guido Schaefer
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
6.
Strong Inapproximability of the Shortest Reset Word
机译:
最短的重置词的强烈不可识别
作者:
Pawel Gawrychowski
;
Damian Straszak
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
7.
Parameterized Algorithms for Parity Games
机译:
奇偶校验游戏的参数化算法
作者:
Jakub Gajarsky
;
Michael Lampis
;
Kazuhisa Makino
;
Valia Mitsou
;
Sebastian Ordyniak
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
8.
Algorithmic Applications of Tree-Cut Width
机译:
树木切割宽度的算法应用
作者:
Robert Ganian
;
Eun Jung Kim
;
Stefan Szeider
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
9.
Exponential-Size Model Property for PDL with Separating Parallel Composition
机译:
分离平行组成的PDL指数尺寸模型特性
作者:
Joseph Boudou
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
10.
Finding Consensus Strings with Small Length Difference Between Input and Solution Strings
机译:
在输入和解决方案字符串之间找到具有小的长度差异的共识字符串
作者:
Markus L. Schmid
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Parameterised complexity;
Hard string problems;
11.
Eliminating Recursion from Monadic Datalog Programs on Trees
机译:
消除树木上的Monadic Datalog程序的递归
作者:
Filip Mazowiecki
;
Joanna Ochremiak
;
Adam Witkowski
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
12.
Uniform Generation in Trace Monoids
机译:
痕量的痕量痕量
作者:
Samy Abbes
;
Jean Mairesse
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Trace monoid;
Uniform generation;
Mobius polynomial;
13.
Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem
机译:
单调约束满足问题的精确上限和下限
作者:
Victor Lagerkvist
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
14.
Definability by Weakly Deterministic Regular Expressions with Counters is Decidable
机译:
通过与计数器的弱确定规则表达式的可定性是可判定的
作者:
Markus Latte
;
Matthias Niewerth
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
15.
Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract)
机译:
可数秩序和Hausdorff-Kuratowski定理的可计算性(扩展摘要)
作者:
Arno Pauly
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
16.
Mutual Dimension and Random Sequences
机译:
相互维度和随机序列
作者:
Adam Case
;
Jack H. Lutz
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
17.
Lost in Self-Stabilization
机译:
迷失在自我稳定
作者:
Damien Regnault
;
Eric Remila
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
18.
Weighted Automata and Logics on Graphs
机译:
加权自动机和图形上的逻辑
作者:
Manfred Droste
;
Stefan Dueck
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Quantitative automata;
Graphs;
Quantitative logic;
Weighted automata;
Buchi;
Nivat;
19.
A Numbers-on-Foreheads Game
机译:
数字额头游戏
作者:
Sune K. Jakobsen
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
20.
On Dynamic DFS Tree in Directed Graphs
机译:
在有向图中的动态DFS树
作者:
Surender Baswana
;
Keerti Choudhary
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Dynamic;
Decremental;
Directed;
Graph;
Depth first search;
21.
Efficient Computations over Encrypted Data Blocks
机译:
对加密数据块的有效计算
作者:
Giovanni Di Crescenzo
;
Brian Coan
;
Jonathan Kirsch
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
22.
Ratio and Weight Quantiles
机译:
比例和体重量
作者:
Daniel Kraehmann
;
Jana Schubert
;
Christel Baier
;
Clemens Dubslaff
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
23.
Differential Bisimulation for a Markovian Process Algebra
机译:
Markovian Process代数的差异分配
作者:
Giulio Iacobelli
;
Mirco Tribastone
;
Andrea Vandin
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
24.
On the Complexity of Master Problems
机译:
论硕士问题的复杂性
作者:
Martijn van Ee
;
Rene Sitters
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Computational complexity;
Polynomial hierarchy;
Universal optimization;
Unique optimal solutions;
25.
The Offline Carpool Problem Revisited
机译:
脱机码头问题重新审议
作者:
Saad Mneimneh
;
Saman Farhat
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Carpool problem;
Fair scheduling;
Graphs;
Flows;
Online and offline algorithms;
26.
Algebraic Synchronization Criterion and Computing Reset Words
机译:
代数同步标准和计算重置字
作者:
Mikhail Berlinkov
;
Marek Szykula
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
27.
Oblivious Transfer from Weakly Random Self-Reducible Public-Key Cryptosystem
机译:
从弱随机性的自我减少的公钥密码系统中忘记转移
作者:
Claude Crepeau
;
Raza Ali Kazmi
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
28.
Equations and Coequations for Weighted Automata
机译:
加权自动机的方程和凝固
作者:
Julian Salamanca
;
Marcello Bonsangue
;
Jan Rutten
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
29.
A Shortcut to (Sun)Flowers: Kernels in Logarithmic Space or Linear Time
机译:
(太阳)花的快捷方式:对数空间或线性时间内的核
作者:
Stefan Fafianie
;
Stefan Kratsch
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
30.
Optimal Bounds for Estimating Entropy with PMF Queries
机译:
用PMF查询估算熵的最佳边界
作者:
Cafer Caferov
;
Baris Kaya
;
Ryan ODonnell
;
A.C. Cem Say
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
31.
Phase Transition for Local Search on Planted SAT
机译:
用于本地搜索的阶段转换
作者:
Andrei A. Bulatov
;
Evgeny S. Skvortsov
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
32.
Dual VP Classes
机译:
双副总裁课程
作者:
Eric Allender
;
Anna Gal
;
Ian Mertz
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
33.
Randomized Polynomial Time Protocol for Combinatorial Slepian-Wolf Problem
机译:
组合斜羽问题的随机多项式时间方案
作者:
Daniyar Chumbalov
;
Andrei Romashchenko
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Slepian-Wolf coding;
Communication complexity;
Coding theory;
Randomized encoding;
Pseudo-random permutations;
34.
Bounding the Clique-Width of H-free Chordal Graphs
机译:
绑定了无线电视图的集团宽度
作者:
Andreas Brandstaedt
;
Konrad K. Dabrowski
;
Shenwei Huang
;
Danieel Paulusma
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
35.
On the Complexity of Hub Labeling (Extended Abstract)
机译:
论集线器标签的复杂性(扩展摘要)
作者:
Maxim Babenko
;
Andrew V. Goldberg
;
Haim Kaplan
;
Ruslan Savchenko
;
Mathias Weller
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
36.
Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel
机译:
广义伪最删除:算法和统一内核
作者:
Geevarghese Philip
;
Ashutosh Rai
;
Saket Saurabh
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
37.
Reversible and Irreversible Computations of Deterministic Finite-State Devices
机译:
确定性有限状态设备的可逆和不可逆转的计算
作者:
Martin Kutrib
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Reversibility;
Finite state devices;
Minimality;
Queue and pushdown storage;
Decidability;
Closure properties;
38.
On the Complexity of Speed Scaling
机译:
论速度缩放的复杂性
作者:
Neal Barcelo
;
Peter Kling
;
Michael Nugent
;
Kirk Pruhs
;
Michele Scquizzato
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
39.
On the Complexity of Noncommutative Polynomial Factorization
机译:
论非传染性多项式分解的复杂性
作者:
V. Arvind
;
Gaurav Rattan
;
Pushkar Joglekar
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
40.
Efficient Algorithm for Computing All Low s-t Edge Connectivities in Directed Graphs
机译:
用于计算定向图中所有低S-T边缘连接性的高效算法
作者:
Xiaowei Wu
;
Chenzi Zhang
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
41.
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases
机译:
关于有限基础的布尔公式的可靠性算法和下限
作者:
Ruiwen Chen
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Boolean formula;
Satisfiability algorithm;
Average-case lower bound;
Random restriction;
42.
Modular Reasoning for Behavior-Preserving Data Structure Refactorings
机译:
采用行为保留数据结构重构的模块化推理
作者:
Anindya Banerjee
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
43.
An Algebraic Proof of the Real Number PCP Theorem
机译:
实数PCP定理的代数证明
作者:
Martijn Baartse
;
Klaus Meer
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
44.
The Price of Connectivity for Cycle Transversals
机译:
循环横向的连接价格
作者:
Tatiana R. Hartinger
;
Matthew Johnson
;
Martin Milanic
;
Danieel Paulusma
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
45.
Maximum Minimal Vertex Cover Parameterized by Vertex Cover
机译:
顶点盖板参数化的最大最小顶点盖
作者:
Meirav Zehavi
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
46.
New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory
机译:
使用曲线分解理论的集团 - 差距问题的新界限
作者:
Vladimir Braverman
;
Zaoxing Liu
;
Tejasvam Singh
;
N.V. Vinodchandran
;
Lin F. Yang
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
47.
Equality, Revisited
机译:
平等,重新审视
作者:
Ralph Bottesch
;
Dmitry Gavinsky
;
Hartmut Klauck
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
48.
Stochastization of Weighted Automata
机译:
加权自动机的随机化
作者:
Guy Avni
;
Orna Kupferman
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
49.
Visibly Counter Languages and the Structure of NC~1
机译:
明显的计量语言和NC〜1的结构
作者:
Michael Hahn
;
Andreas Krebs
;
Klaus-Joern Lange
;
Michael Ludwig
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
50.
On the Complexity of Reconfiguration in Systems with Legacy Components
机译:
论遗留组件系统中重新配置的复杂性
作者:
Jacopo Mauro
;
Gianluigi Zavattaro
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
51.
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
机译:
转型系统中的路径:模态MU - 微积分的下降
作者:
Catalin Dima
;
Bastien Maubert
;
Sophie Pinchinat
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
52.
Robust Inference and Local Algorithms
机译:
强大的推论和本地算法
作者:
Yishay Mansour
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
53.
Preface
机译:
前言
作者:
Giuseppe F. Italiano
;
Giovanni Pighizzini
;
Don Sannella
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
54.
On Sampling Simple Paths in Planar Graphs According to Their Lengths
机译:
根据它们的长度对平面图中的简单路径进行采样
作者:
Sandro Montanari
;
Paolo Penna
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
55.
Polynomial Kernels for Weighted Problems
机译:
用于加权问题的多项式核
作者:
Michael Etscheid
;
Stefan Kratsch
;
Matthias Mnich
;
Heiko Roeglin
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
56.
Active Linking Attacks
机译:
主动链接攻击
作者:
Henning Schnoor
;
Oliver Woizekowski
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
57.
Modal Inclusion Logic: Being Lax is Simpler than Being Strict
机译:
模态包容逻辑:LAX比严格更简单
作者:
Lauri Hella
;
Antti Kuusisto
;
Arne Meier
;
Heribert Vollmer
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
58.
Emergence on Decreasing Sandpile Models
机译:
出现在减少Sandpile模型
作者:
Kevin Perrot
;
Eric Remila
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
关键词:
Sandpile models;
Fixed points;
Emergence;
59.
On Tinhofer's Linear Programming Approach to Isomorphism Testing
机译:
Tinhofer的同构检测线性规划方法
作者:
V. Arvind
;
Johannes Koebler
;
Gaurav Rattan
;
Oleg Verbitsky
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
60.
When Are Prime Formulae Characteristic?
机译:
什么时候是主要公式特征?
作者:
L. Aceto
;
D. Delia Monica
;
I. Fabregas
;
A. Ingolfsdottir
会议名称:
《International symposium on mathematical foundations of computer science》
|
2015年
61.
On the Complexity of Some Ordering Problems
机译:
论一些排序问题的复杂性
作者:
Beate Bollig
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
62.
Query-Competitive Algorithms for Cheapest Set Problems under Uncertainty
机译:
查询竞争性算法,以实现不确定性下的最便宜
作者:
Thomas Erlebach
;
Michael Hoffmann
;
Prank Kammer
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
63.
On the Clique Editing Problem
机译:
关于Clique编辑问题
作者:
Ivan Kovac
;
Ivana Seleceniova
;
Monika Steinova
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
64.
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality
机译:
平等均匀一维片段的复杂性和富有效力
作者:
Emanuel Kieronski
;
Antti Kuusisto
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
关键词:
Two-variable logics;
complexity;
expressivity;
65.
Cyclic Complexity of Words
机译:
单词的循环复杂性
作者:
Julien Cassaigne
;
Gabriele Fici
;
Marinella Sciortino
;
Luca Q. Zamboni
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
关键词:
Cyclic complexity;
factor complexity;
Sturmian words;
minimal forbidden factor;
66.
Betweenness Centrality - Incremental and Faster
机译:
中心地位之间 - 增量和更快
作者:
Meghana Nasre
;
Matteo Pontecorvi
;
Vijaya Ramachandran
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
67.
A Pumping Lemma for Two-Way Finite Transducers
机译:
用于双向有限换能器的泵送引理
作者:
Tim Smith
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
68.
Inferring Strings from Lyndon Factorization
机译:
从Lyndon分解中推断出弦
作者:
Yuto Nakashima
;
Takashi Okabe
;
Tomohiro I
;
Shunsuke Inenaga
;
Hideo Bannai
;
Masayuki Takeda
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
69.
A Note on the Minimum Distance of Quantum LDPC Codes
机译:
关于量子LDPC代码的最小距离的注释
作者:
Nicolas Delfosse
;
Zhentao Li
;
Stephan Thomasse
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
70.
Low-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs
机译:
低深度均匀阈值电路和直线程序的比特复杂性
作者:
Eric Allender
;
Nikhil Balaji
;
Samir Datta
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
71.
Minimum Planar Multi-sink Cuts with Connectivity Priors
机译:
具有连接前沿的最小平面多水槽切割
作者:
Ivona Bezakova
;
Zachary Langley
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
72.
Hitting Forbidden Subgraphs in Graphs of Bounded Treewidth
机译:
击中有界树木宽度的图表中的禁止子图
作者:
Marek Cygan
;
Daniel Marx
;
Marcin Pilipczuk
;
Michal Pilipczuk
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
73.
On Infinite Words Determined by Indexed Languages
机译:
关于索引语言确定的无限单词
作者:
Tim Smith
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
74.
Measure Properties of Game Tree Languages
机译:
测量游戏树语的属性
作者:
Tomasz Gogacz
;
Henryk Michalewski
;
Matteo Mio
;
Michal Skrzypczak
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
75.
Definability and Transformations for Cost Logics and Automatic Structures
机译:
成本逻辑和自动结构的可定定态和转换
作者:
Martin Lang
;
Christof Loeding
;
Amaldev Manuel
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
76.
Classifying Recognizable Infinitary Trace Languages Using Word Automata
机译:
使用Word Automata进行分类可识别的无限跟踪语言
作者:
Namit Chaturvedi
;
Marcus Gelderie
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
77.
Affine Consistency and the Complexity of Semilinear Constraints
机译:
仿射一致性和半线性约束的复杂性
作者:
Peter Jonsson
;
Johan Thapper
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
78.
Traveling Salesman Problems in Temporal Graphs
机译:
在时间图中旅行的推销员问题
作者:
Othon Michail
;
Paul G. Spirakis
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
79.
An Algebraic Characterization of Unary Two-Way Transducers
机译:
一元转换器的代数特征
作者:
Christian Choffrut
;
Bruno Guillon
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
80.
Size-Change Abstraction and Max-Plus Automata
机译:
尺寸更改抽象和MAX-Plus自动机
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
81.
Subword Complexity and Decomposition of the Set of Factors
机译:
子次复杂性和分解这些因素集
作者:
Julien Cassaigne
;
Anna E. Frid
;
Svetlana Puzynina
;
Luca Q. Zamboni
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
82.
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas
机译:
一种改进的小摩根公式的确定性#sat算法
作者:
Ruiwen Chen
;
Valentine Kabanets
;
Nitin Saurabh
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
关键词:
de Morgan formulas;
random restrictions;
shrinkage;
SAT algorithms;
83.
On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields
机译:
关于小型有限田深度3的深度减少限制
作者:
Suryajith Chillara
;
Partha Mukhopadhyay
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
84.
Knocking Out P_k-free Graphs
机译:
敲掉免费图形
作者:
Matthew Johnson
;
Danieel Paulusma
;
Anthony Stewart
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
85.
O(n~(1/2))-Space and Polynomial-Time Algorithm for Planar Directed Graph Reachability
机译:
O(n〜(1/2)) - 平面定向图可达性的空间和多项式算法
作者:
Tetsuo Asano
;
David Kirkpatrick
;
Kotaro Nakagawa
;
Osamu Watanabe
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
86.
Partial-Observation Stochastic Reachability and Parity Games
机译:
部分观察随机可达性和奇偶校验游戏
作者:
Krishnendu Chatterjee
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
87.
Advances in Parametric Real-Time Reasoning
机译:
参数实时推理的进展
作者:
Daniel Bundala
;
Joeel Ouaknine
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
88.
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures
机译:
在深度限定结构上的秩序不变逻辑的表现和简洁性
作者:
Kord Eickmeyer
;
Michael Elberfeld
;
Frederik Harwath
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
关键词:
Expressivity;
succinctness;
first-order logic;
monadic second-order logic;
order-invariance;
tree-depth;
89.
Relating Nominal and Higher-Order Rewriting
机译:
与名义和更高阶重写相关
作者:
Jesus Dominguez
;
Maribel Fernandez
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
90.
What Does the Local Structure of a Planar Graph Tell Us About Its Global Structure?
机译:
平面图的本地结构是什么告诉我们其全球结构?
作者:
Christian Sohler
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
91.
Preface
机译:
前言
作者:
Erzsebet Csuhaj-Varju
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
92.
An H_(n/2) Upper Bound on the Price of Stability of Undirected Network Design Games
机译:
一个H_(n / 2)上限对无向网络设计游戏的稳定性价格
作者:
Akaki Mamageishvili
;
Matus Mihalak
;
Simone Montemezzani
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
93.
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
机译:
论位矢量逻辑中象征性验证与决策问题的复杂性
作者:
Gergely Kovasznai
;
Helmut Veith
;
Andreas Froehlich
;
Armin Biere
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
94.
Reachability in Pushdown Register Automata
机译:
下推寄存器自动机的可达性
作者:
Andrzej S. Murawski
;
Steven J. Ramsay
;
Nikos Tzevelekos
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
95.
Small Complexity Classes for Computable Analysis
机译:
用于可计算分析的小复杂性等级
作者:
Akitoshi Kawamura
;
Hiroyuki Ota
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
96.
Alternating Parity Krivine Automata
机译:
交替的奇偶诊断krivine自动机
作者:
Florian Bruse
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
关键词:
Higher-Order Modal Fixpoint Logic;
Fixpoint Logic;
Krivine Machine;
λ-Calculus;
97.
New Results for Non-Preemptive Speed Scaling
机译:
非先发制速度缩放的新结果
作者:
Chien-Chung Huang
;
Sebastian Ott
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
98.
The Relationship between Multiplicative Complexity and Nonlinearity
机译:
乘法复杂性与非线性的关系
作者:
Joan Boyar
;
Magnus Gausdal Find
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
99.
Determinising Parity Automata
机译:
确定奇偶校验自动机构
作者:
Sven Schewe
;
Thomas Varghese
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
100.
Autoreducibility and Mitoticity of Logspace-Complete Sets for NP and Other Classes
机译:
用于NP和其他类的LogSpace完整集的自动和斑点
作者:
Christian Glasser
;
Maximilian Witek
会议名称:
《International symposium on mathematical foundations of computer science》
|
2014年
意见反馈
回到顶部
回到首页