默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

24.MFCS 1999:Szklarska Poreba，波兰

>主页 >会议和研讨会 >MFCS公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/1999
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/1999
米罗斯瓦夫·库特洛夫斯基,莱泽克·帕霍尔斯基,托马斯·维兹比基:
1999年计算机科学数学基础，第24届国际研讨会，MFCS’99，波兰Szklarska Poreba，1999年9月6日至10日，会议记录。计算机科学课堂讲稿1672,施普林格 1999，国际标准图书编号3-540-66408-4

跨领域计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Frougny99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Frougny99
克里斯蒂安·弗劳格尼:
实际基础中的在线添加。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Meer99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Meer99
克劳斯·梅尔:
基于R上描述复杂性的实数数据库查询语言。 12-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ZhengW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ZhengW99
郑西忠,克劳斯·维赫劳赫（Klaus Weihrauch）:
实数的算术层次。 23-33

压缩技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Manzini99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Manzini99
乔瓦尼·曼齐尼:
特邀讲座：Burrows-Wheeler变换：理论与实践。 34-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/GasieniecGR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/GasieniecGR99
莱斯泽克·盖西涅克,艾伦·吉本斯,沃伊切赫·莱特:
高度压缩文本中快速并行模式搜索的效率。 48-58

编程基础

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LoyerSS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LoyerSS99
亚恩·洛耶,尼古拉斯·斯皮拉托斯,丹尼尔·斯塔马特:
计算和比较四值逻辑中程序的语义。 59-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Mosses99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Mosses99
彼得·D·摩斯斯:
模块化SOS基础。 70-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MuschollP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MuschollP99
安卡·穆斯科尔,多龙·A·贝利德:
Mazurkiewicz迹上的消息序列图和决策问题。 81-91

复杂性和算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/DurandHJ99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/DurandHJ99
阿诺德·杜兰德,米基·赫尔曼,劳伦特·朱班:
线性丢番图系统希尔伯特基识别的复杂性。 92-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HavasS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HavasS99
乔治·哈瓦斯,让-皮埃尔·塞弗特:
扩展GCD问题的复杂性。 103-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Lohrey99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Lohrey99
马库斯·洛伊:
汇流问题的复杂性结果。 114-124

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AcetoL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AcetoL99
卢卡·埃特罗,弗朗索瓦·拉鲁西尼:
你的模型检查器准时吗？时间模态逻辑模型检验的复杂性。 125-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BolotovDF99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BolotovDF99
亚历山大·博洛托夫,克莱尔·狄克逊,迈克尔·菲希尔:
CTL的子句解析^*. 137-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Hungar99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Hungar99
哈迪·亨加:
模型检查和高阶递归。 149-159

分布式计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/制造99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Manuch99
詹·曼努奇:
多方通信复杂性：非常困难的功能。 160-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HerlihyR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HerlihyR99
赫利希,塞尔吉奥·拉兹鲍姆:
分布式计算的新视角。 170-186

函数式编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Grudzinski99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Grudzinski99
格热戈兹·格鲁津斯基:
一种改进的惰性函数语言的虚拟严格性分析。 187-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LassenM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LassenM99
瑟伦·拉森,安德鲁·莫兰:
McCarthy Amb的独特定点感应。 198-208

自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Margara99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Margara99
卢西亚诺·玛加拉:
线性元胞自动机的一些拓扑性质。 209-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Nakamura99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Nakamura99
中村胜彦:
基于单向和双向元胞自动机的实时语言识别。 220-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Nicaud99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Nicaud99
西里尔·尼科德:
一元自动机操作的平均状态复杂性。 231-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Petersen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Petersen99
霍尔格·彼得森:
愚弄反弹自动机。 241-250

算法和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Sieling99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Sieling99
德特勒夫·西林:
最小化FBDD的复杂性。 251-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Woelfel99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Woelfel99
菲利普·沃尔费尔:
高效的强通用和最优通用哈希。 262-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Glazek99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Glazek99
Wlodzimierz Glazek公司:
环形网络中页面复制问题的下限和上限。 273-283

安全

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kozen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kozen99
德克斯特·科赞:
基于语言的安全性。 284-298

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Cirulis99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Cirulis99
贾尼斯·西鲁利斯:
知识表示的代数方法。 299-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/JaninL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/JaninL99
大卫·贾宁,贾科莫·伦齐:
二叉树的一元逻辑结构。 310-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Nguyen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Nguyen99
林安阮:
模态逻辑K4、KD4和S4的新空间界限。 321-331

计算问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Gambin99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Gambin99
安娜·甘宾:
关于交换保持拟阵的基数的近似。 332-342

过程和相互模拟

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BoerRH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BoerRH99
弗兰克·S·德·波尔,威廉·德罗弗,乌尔里希·汉内曼:
同步通信过程的合成证明方法的语义基础。 343-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/FroschleH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/FroschleH99
Sibylle B.Fröschle先生,托马斯·希尔德布兰特:
关于平原和遗传历史-保留双模拟。 354-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Stribrna99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Stribrna99
吉特卡·斯特里布纳:
基本过程代数上弱互模拟的逼近。 366-375

图形算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CaragiannisKP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CaragiannisKP99
Ioannis Caragiannis公司,克里斯托斯·卡克拉曼尼斯,佩西亚诺皮诺:
带约束的二分图的边着色。 376-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/FernauN99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/FernauN99
亨宁·费尔诺,罗尔夫·尼德迈尔:
一种有效的约束二分顶点覆盖精确算法。 387-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MakinoUI99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MakinoUI99
Kazuhisa Makino公司,Yushi Uno公司,茨城东芝:
最小边排序生成树。 398-409

复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BernholtGHS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BernholtGHS99
托尔斯滕·伯恩霍尔特,亚历山大·居利希,托马斯·霍夫迈斯特,尼尔斯·施密特:
在三分制规则下，足球淘汰赛很难决定。 410-418
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Hertranpf99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Hertrampf99
乌尔里希·赫特拉姆夫:
广义正则计数类。 419-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Yamakami99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Yamakami99
山本俊彦（Tomoyuki Yamakami）:
多带量子图灵机编程基础。 430-441

类型：理论与应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Tofte99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Tofte99
疯子托夫特:
解决COBOL程序中2000年问题的一种类型规则。 442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Tiuryn99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Tiuryn99
Jerzy Tiuryn公司:
原子类型格上具有子类型的函数程序的类型重建。 443-453

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。