停止战争！

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

对于科学家：

默认搜索操作

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

问别人

18.MFCS 1993：波兰格但斯克

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/1993
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/1993
安德烈·博尔兹科夫斯基（Andrzej M.Borzyszkowski）,斯特凡·索科洛夫斯基:
1993年计算机科学数学基础，第18届国际研讨会，MFCS’93，波兰格但斯克，1993年8月30日至9月3日，会议记录。计算机科学课堂讲稿711,施普林格 1993，国际标准图书编号3-540-57182-5

特邀报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AptE93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AptE93
Krzysztof R.Apt公司,桑德罗·埃塔利:
关于统一免费Prolog程序。 1-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ArnoldD93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ArnoldD93
安德烈·阿诺德,安妮·迪基:
过渡系统的等价性和序。 20至31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/McKinnaB93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/McKinnaB93
詹姆斯·麦金纳,罗德·M·伯斯托尔:
可交付成果：类型理论中程序开发的分类方法。 32-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Diekert93文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Diekert93
沃尔克·迪克特:
复杂和类复杂痕迹。 68-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Hennessy93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/轩尼诗93
马修·轩尼诗:
符号互模拟（摘要）。 83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HonsellL93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HonsellL93
福里奥·霍塞尔,玛丽娜·莱尼萨:
关于限制Lambda演算的完全抽象问题的一些结果。第84页至第104页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Milner93公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Milner93
罗宾·米尔纳:
动作演算，或句法动作结构。 105-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/PittsS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/PittsS93
安德鲁·皮特斯,伊恩·大卫·贝德·斯塔克:
动态创建局部名称的高阶函数的可观测特性，或新增功能？ 122-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Pratt93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Pratt93
沃恩·R·普拉特:
二元关系第二演算。 142-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/EhrenfeuchtR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/EhrenfeuchtR93
安德烈·埃伦菲赫特,格列泽戈兹·罗森伯格（Grzegorz Rozenberg）:
动态标签2结构简介。 156-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/MateescuS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/MateescuS93
亚历山德鲁·马泰斯库,阿尔托·萨洛马:
后对应问题：原始性和与复杂性类的相互关系。 174-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Wadler93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Wadler93
菲利普·沃德勒:
品尝线性逻辑。 185-210

贡献

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AlonsoS93文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AlonsoS93
劳伦特·阿隆索,雷内·斯科特:
关于树包含问题。 211-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Amadio93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Amadio93
罗伯特·阿马迪奥:
关于Per模型的充分性。 222至231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ArvindKM93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ArvindKM93
维克拉曼·阿文德,约翰内斯·科布勒,马丁·蒙德亨克:
Hausdorff约简为稀疏集和高信息含量集。 232-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/AstesianoRZ93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/AstesianoRZ93
埃吉迪奥·阿斯泰西亚诺,吉安娜·雷吉奥,埃琳娜·祖卡:
存储为同态及其转换。 242-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BakkerBB93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BakkerBB93
J.W.de Bakker（德巴克）,弗兰克·范·布鲁格尔,阿里·德布鲁因:
通信进程线性数组的比较语义：UNIX分叉和管道命令的研究。 252-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BeauquierP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BeauquierP93
丹尼尔·博基尔,安德烈亚斯·波德尔斯基:
拉宾树自动机与有限单体。 262-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Benke93型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Benke93
马金·本克:
存在继承时的有效类型重建。 272-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BerstelS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BerstelS93
非交换有理函数,帕特里斯·塞伯尔德:
Sturmian形态特征。 281-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BodlaenderJ93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BodlaenderJ93
汉斯·博德兰德,克劳斯·詹森:
单位时间调度不兼容作业的复杂性。 291-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BonsangueK93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BonsangueK93
马塞洛·M·邦桑格,Joost N.Kok公司:
谓词和状态变换器之间的同构。 301-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CaiC93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CaiC93
蔡黎明,陈剑儿:
论不确定性的数量和验证的力量（扩展摘要）。 311-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Castellani93公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Castellani93
伊利亚·卡斯特拉尼:
观察过程中的分布。 321-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CerinP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CerinP93
克里斯托夫·塞林,安托万·佩蒂特:
可识别跟踪语言的加速。 332-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CerioliM93型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CerioliM93
毛拉·塞里奥利,何塞·梅塞盖尔:
我可以借用你的逻辑吗？ 342-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ChaudhuriHR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ChaudhuriHR93
湿婆·乔杜里,托本·哈格鲁普,拉杰夫·拉曼:
近似和精确确定性并行选择。 352-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ChenS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ChenS93
陈健,约翰·斯塔普斯:
通过抽象解释定义软排序。 362-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/陈93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Chen93
梁晨:
实时过程代数模型（扩展抽象）。 372-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CostaSS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CostaSS93
何塞·费利克斯·科斯塔,Amílcar Sernadas公司,克里斯蒂娜·塞尔纳达斯:
数据封装和模块化：继承的三种观点。 382-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/CulikK93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/CulikK93
卡雷尔·库利克二世,贾科·卡里:
使用加权有限自动机的图像压缩。 392-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Dezani-CiancaglinidP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Dezani-CiancaglinidP93
Mariangiola Dezani-Ciancaglini公司,乌戈·德利古罗,阿道夫·皮佩诺:
并行非确定性Lambda-Calculus的滤波模型。 403-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Gianantonio93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Giantonio93
彼得罗·迪·贾南托尼奥:
实数可计算性和域理论。 413-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/DiskinB93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/DiskinB93
Zinovy磁盘,伊利亚·贝林:
Lambda置换代数。 423-432年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Durand93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Durand93
布鲁诺·杜兰德:
二维元胞自动机的全局性质：一些复杂度结果。 433-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/EngbergW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/EngbergW93
乌菲·恩伯格,格林·温斯克:
Petri网上线性逻辑的完备性结果。 442-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/FantechiGP93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/FantechiGP93
亚历山德罗·范泰奇,斯蒂芬妮娅·格内西,V.珀替卡利:
基本过程代数的表示逻辑。 453-462
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/FrandsenMS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/FrandsenMS93
古德蒙德·斯科夫布杰尔·弗兰德森,彼得·布罗·米尔特森,斯文·斯库姆:
使用相等性测试查找副本的复杂性。 463-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Glabeek93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Glabeek93
罗布·范·格拉贝克:
有限状态行为分支互模拟同余的完全公理化。 473-484
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HaasB93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HaasB93
埃里克·德哈斯,彼得·范·埃姆德·博阿斯:
面向对象的应用程序流图及其语义。 485-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HromkovicKK93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HromkovicKK93
尤拉吉·赫龙科维奇（Juraj Hromkovic）,贾科·卡里,莉拉·卡里:
合作语法系统的通信复杂性度量的一些层次结构。 495-505
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/IbarraR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/IbarraR93
路易斯·伊巴拉,达纳·理查兹:
基于开耳分解的高效并行图算法。 506-516
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/IbarraT93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/IbarraT93
奥斯卡·H·伊瓦拉,尼古拉斯·Q·特伦:
并行计算的通信复杂性。 517-526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/JancarMP93会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/JancarMP93
彼得·詹卡尔,弗兰蒂斯克先生,马丁·普拉特克:
遗忘自动机的分类。 527-536
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/He93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/He93
何继峰:
同步通信的混合并行编程与实现。 537-546
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Kiehn93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Kiehn93
阿斯特里德·基恩:
基于原因的等效证明系统。 547-556
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Martin93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Martin93
布鲁诺·马丁:
统一通用CREW PRAM。 557-565
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/墨菲93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Murphy93
莫菲:
观察定位并发。 566-576
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Narbel93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Narbel93
菲利普·纳贝尔:
替代系统的边界。 577-587
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Neraud93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Neraud93
让·奈拉德:
检测单词语素图像的新算法。 588-597
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Paczkowski93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Paczkowski93
帕维尔·帕兹科夫斯基:
在并发程序的断言推理中忽略非必要的插入。 598至607
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ParigotR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ParigotR93
米歇尔·帕里格特,保罗·罗齐埃:
Lambda-Caculus中的恒定时间减少。 608-617
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Parisi-PrescceV93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Parisi-PresicceV93
弗朗西斯科·帕里西（Francesco Parisi-Prescce）,S.Veglioni公司:
异质统一代数。 618-628
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/PigozziS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/PigozziS93
唐·皮戈齐,安东尼诺·萨利布拉:
Lambda抽象代数的一个表示定理。 629-639
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Pliuskevicius93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Pliuskevicius93
Regimantas Pliuskevicius公司:
线性时间逻辑的饱和演算。 640-649
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Puhlmann93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Puhlmann93
赫尔曼·普尔曼:
数据库语义的零食Powerdomain。 650-659
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ReusS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ReusS93
伯恩哈德再利用,托马斯·斯特里彻:
验证类型理论中模块构造的属性。 660-670
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/RuzickaW93文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/RuzickaW93
鲁彻奇卡,尤拉杰·瓦祖利克:
动态图卵石中的时空权衡。 671-681
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/SassoneNW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/SassoneNW93
弗拉迪米罗·萨松,莫根斯·尼尔森,格林·温斯克:
并发的确定性行为模型。 682年至692年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Scholefield公司ZH93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ScholefieldZH93
大卫·斯科利菲尔德,侯赛因·S·M·泽丹,何继峰:
实时优化：语义和应用。 693-702年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/SteffenW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/SteffenW93
伯恩哈德·斯特芬,卡斯滕·韦斯:
稠密时间实时过程的测试等价性判定。 703-713
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/StephanW93会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/StephanW93
沃纳·斯蒂芬,安德烈亚斯·沃尔珀斯:
具有全局变量的高阶过程的微积分。 714-723
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Stevens93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Stevens93
戴维·斯蒂文森:
用图标组合器替换变量。 724-733
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Treinen93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Treinen93
拉尔夫·特雷恩:
具有一级特征的特征约束。 734-743
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/WagnerW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/WagnerW93
多萝西娅·瓦格纳,弗兰克·瓦格纳:
在最小截和图形二分之间。 744-750
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Wanke93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Wanke93
伊贡·旺克:
有限周期图中的路径和循环。 751-760
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/YinH93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/YinH93
尹吉雷（Jilei Yin）,洪朱:
从吵闹的例子中学习决策列表。 761-766
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/Zabel93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/Zabel93
尼古拉斯·扎贝尔:
有限和无限后逻辑分析表。 767-776

服务

管理站点设置

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