停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

6.MFCS 1977：捷克斯洛伐克洛姆尼卡塔兰斯卡

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/1977年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/1977
乔泽夫·格鲁斯卡:
1977年计算机科学数学基础，第六届研讨会，塔特兰斯卡·隆尼卡，捷克斯洛伐克，1977年9月5日至9日，会议记录。计算机科学课堂讲稿53,施普林格 1977，国际标准图书编号0-387-08353-7

特邀报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Ausiello77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Ausiello77
乔治奥·奥斯耶罗:
关于NP-完全问题及其相关优化问题的结构和性质。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Blikle77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Blikle77
安德烈·布利克尔:
一些程序验证方法的比较评述。 17-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Boasson公司77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Boasson77
吕克·博阿松:
上下文无关语言的分类。 34-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Elgot77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Elgot77网址
卡尔文·埃尔戈特:
从流程图方案的角度看有限自动机。 44-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Engeler77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Engeler77（英文）
欧文·恩格勒:
一种新型的计算模型。 52-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ErshovI77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ErshovI77
安德烈·埃尔肖夫,V.E.伊特金:
类算法程序中混合计算的正确性。 59-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/GecsegE77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/GecsegE77
费伦斯·盖西格,佩特尔·托斯:
理论计算机科学中的代数和逻辑。 78-92年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KacewiczW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KacewiczW77
Boleslaw Z.Kacewicz公司,亨利克·沃兹尼亚科夫斯基:
分析计算复杂性的最新问题和结果综述。 93-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MaurerO77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MaurerO77
赫尔曼·A·莫勒,托马斯·奥特曼:
集合操作问题的树结构。 108-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Salwicki77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Salwicki77网站
安德烈·萨尔维基:
应用算法逻辑。 122-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Schnorr77公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Schnorr77
克劳斯·佩特·施诺尔:
多项式求值所必需的乘/除数的改进下界。 135-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Trakhtenbrot77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Trakhtenbrot77网站
鲍里斯·特拉赫滕布罗特:
频率算法和计算。 148-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Valiant77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Valiant77网站
莱斯利·瓦利安特:
低复杂度中的图论变元。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Wechsung77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Wechsung77
Gerd Wechsung先生:
复杂性类的属性：一个简短的调查。 177-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/WrightWT77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/WrightWT77
杰西·莱特,埃里克·瓦格纳,詹姆斯·撒切尔:
归纳偏序集和归纳闭包的统一方法。 192-212

通信

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Agafonov公司77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Agafonov77
瓦列里·阿加福诺夫:
广义概率语法。 213-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AusielloDGP77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AusielloDGP77
乔治奥·奥斯耶罗,亚历山德罗·达特里,马尔科·高迪亚诺,马尔科·普罗塔西:
结构同构类{NP}-优化问题。 222-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Autebert77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Autebert77网站
Jean-Michel Autebert女士:
下推自动机和语言族生成柱面。 231-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Bakker77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Bakker77
J.W.de Bakker（德巴克）:
使用广义树的无限过程语义。 240至246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BendaB77文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BendaB77
瓦克拉夫·本达,卡米拉·本多娃:
用正则语言描述可识别族。 247-252年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BertoniMT77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BertoniMT77
阿尔贝托·贝托尼,吉安卡洛·毛里,毛罗·托雷利:
问题解决和问题语义的代数方法。 253-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Cerny77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Cerny77
安东·塞恩:
上下文无关语法和语言的复杂性和最小化。 263-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Chytil77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Chytil77网址
Michal Chytil公司:
主动访问和交叉复杂性的比较。 272-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Hajek77会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Hajek77
彼得·哈耶克:
计算机科学中一些问题的算术复杂性。 282-287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Henke77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Henke77（英文）
弗里德里希·冯·亨克:
形式化转换和程序开发。 288至296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Horvath77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Horvath77
Sándor Horváth:
任意复杂0-1值函数的最优RAS程序。 297-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/JanssenB77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/JanssenB77
西奥·M·V·詹森,彼得·范·埃姆德·博阿斯:
编程语言语义中内涵逻辑的表达能力。 303-311
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kanovic77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kanovic77
马克斯·卡诺维奇:
论程序设计语言中等价变换的复杂性。 312-314
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KasyanovP77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KasyanovP77
维克托·卡西亚诺夫,谢尔盖·波克罗夫斯基:
多语言优化程序中的模式。 315-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Korec77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Korec77
伊万·科雷克:
部件最多由七（8）条指令组成的Minsky机器等价性的可判定性（不可判定性）。 324-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kral77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kral77
雅罗斯拉夫·克拉尔:
通用上下文无关语言的自顶向下无回溯分析。 333-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kramosil公司77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kramosil网站77
伊万·克拉莫西尔:
分支计划的概率限制。 342-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KudlekN77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KudlekN77
曼弗雷德·库德莱克,米罗斯拉夫·诺沃顿:
规范一般形式系统的约化算子。 350-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LevinV77公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LevinV77网站
列奥尼德·莱文,V·V·V·朱金:
信息块的不变性。 359-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Linna77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Linna77
马蒂·林纳:
确定性下推自动机的两个判定结果。 365-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Lipski77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Lipski77
小维托德·利普斯基。:
论不完全变换的逻辑。 374-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LucaT77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LucaT77
阿尔多·德卢卡,Settimo终端:
复杂系统分析中的歧义度量。 382-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MeersmanR77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MeersmanR77
罗伯特·梅尔斯曼,格列泽戈兹·罗森伯格:
两级元控制替换语法。 390-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MiglioliO77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MiglioliO77网站
皮耶朗基罗·米利奥利,马里奥·奥尔纳吉:
建立正确程序的微积分。 398至409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/NgB77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/NgB77
彼得·A·吴,宋永邦:
证明程序正确性的另一种方法。 410-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Nijholt77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Nijholt77
安东·尼霍尔特:
涵盖结果和正常形式。 420-429年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Peckel77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Peckel77
扬·佩克尔:
关于上下文无关语言的决定论子类。 430-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Pittl77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Pittl77
简·皮特尔:
{LLP（$k$）}解析方法的指数优化。 435-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Prepartia77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Prepartia77网址：
佛朗哥·P·普雷斯塔:
简单多边形的中轴。 443-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Raulefs77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Raulefs77
彼得·劳列夫斯:
块结构编程语言中核心层次的语义和证明规则。 451-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/RozenbergV77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/罗森伯格V77
格列泽戈兹·罗森伯格（Grzegorz Rozenberg）,德克·维尔梅尔:
迭代语言的接受程序。 460-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/RuzickaW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/RuzickaW77
鲁彻奇卡,尤拉杰·维德曼:
对手下限有多好？ 465-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Sokolowski公司77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Sokolowski索科洛夫斯基77
斯特凡·索科洛夫斯基:
程序的总体正确性。 475-483
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Sturc77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Sturc77网站
Ján Sturc先生:
检索系统模型及其背后的一些数学问题。 484-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Sudborough公司77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Sudborough77网址
伊万·哈尔·苏德伯勒:
时间和带界辅助下推自动机。 493-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Sykora77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Sykora77
昂德雷·西科拉:
矩阵乘法的一种快速非交换算法。 504-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Tiuryn77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Tiuryn77
Jerzy Tiuryn公司:
不动点与无限长表达式代数，I。 513-522
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/TrnkovaA77型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/TrnkovaA77
维拉·特伦科娃,杰里·阿达梅克:
论语言，被集合范畴中的机器所接受。 523-531
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Valiev77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Valiev77网址：
马尔斯·瓦利耶夫:
带磁带字母限制的实时计算。 532-536
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Vianu77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/维亚努77
维克托·维亚努:
语言的Bodnarchuk度量空间和学习空间的拓扑。 537-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/WagnerW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/WagnerW77
克劳斯·瓦格纳,Gerd Wechsung先生:
甲骨文的复杂性层次结构。 543-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/WeddeW77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/WeddeW77
霍斯特·F·韦德,约泽夫·温科夫斯基:
通过违规确定流程。 549-559
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Weicker77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Weicker77网站
Reinhold Weicker公司:
机器模型对上下文无关语言识别时间复杂性的影响。 560-569
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Weihrauch77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Weihrauch77
克劳斯·维赫劳赫（Klaus Weihrauch）:
广义可计算性论文（摘要）。 570
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Wiehagen77
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Wiehagen77网站
罗尔夫·维哈根:
形式语言的识别。 571-579
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/GoguenM77公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/GoguenM77网站
约瑟夫·高根,何塞·梅塞盖尔:
递归流程图程序的正确性。 580-595

服务

管理网站设置

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