首页>外文会议>其他>International Symposium on Matheamtical Foundations of Computer Science

International Symposium on Matheamtical Foundations of Computer Science

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Computational Limitations of Stochastic Turing Machines and Arthur-Merlin Games with Small Space Bounds

机译：具有小空间界的随机图灵机和亚瑟 - Merlin游戏的计算限制
- 作者：Maciej Liskiewicz;Rudiger Reischuk
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
2.Simulation as a Correct Transformation of Rewrite Systems

机译：模拟作为重写系统的正确转换
- 作者：Wan Fokkink;Jaco van de Pol
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
3.Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity

机译：解决方案证明，指数界限和kolmogorov复杂性
- 作者：Uwe Schoning
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
4.On the Dilation of Interval Routing

机译：关于间隔路由的扩张
- 作者：Cyril Gavoille
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
5.Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines

机译：多项式时间存在反光机可计算的查询和算法
- 作者：Jerzy Tyszkiewicz
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
6.Complexity of Finding Short Resolution Proofs

机译：寻找短分辨率证明的复杂性
- 作者：Kazuo Iwama
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
7.Abteilung Theoretische Informatik, Universitat Ulm, 89069 Ulm, Germany

机译：部门理论计算机科学，ULM大学，德国89069
- 作者：Foto Afrati;Irene Guessarian;Michel de Rougemont
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
8.Repetitiveness of D0L-Languages Is Decidable in Polynomial Time

机译：D0L语言的重复性在多项式时间中可判定
- 作者：Yuji Kobayashi;Friedrich Otto
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
9.On P versus NPflco-NP for Decision Trees and Read-Once Branching Programs

机译：在P与NPFLCO-NP与决策树和读一次分支计划
- 作者：S. Jukna;A. Razborov;P. Savicky;I. Wegener
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
10.Communication Complexity and Sequential Computation

机译：通信复杂性和顺序计算
- 作者：Juraj Hromkovic;Georg Schnitger
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
- computational and structural complexity;
- Las Vegas;
- determin-ism;
- communication complexity;
- automata;
11.Specifying Computations Using Hyper Transition Systems

机译：使用Hyper Transition系统指定计算
- 作者：Marcello M. Bonsangue;Joost N. Kok
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
12.Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations

机译：多头有限自动机：数据无关与数据相关的计算
- 作者：Markus Holzer
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
13.A Category of Transition Systems and Its Relations with Orthomodular Posets

机译：一种过渡系统及其与矫正专业假髓的关系
- 作者：Luca Bernardinello;Lucia Pomello
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
14.Accepting Zeno Words Without Making Time Stand Still

机译：接受Zeno单词而不制造时间静止
- 作者：Beatrice Berard;Claudine Picaronny
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
15.On the Influence of the State Encoding on OBDD-Representations of Finite State Machines

机译：关于国家编码对有限状态机器的OBDD-表示的影响
- 作者：Christoph Meinel;Thorsten Theobald
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
16.When are Two Rewrite Systems More than None?

机译：什么时候是两个重写系统超过没有？
- 作者：Nachum Dershowitz
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
17.Subtyping Calculus of Construction

机译：亚型建设微积分
- 作者：Gang Chen
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
18.Communication Complexity

机译：通信复杂性
- 作者：Laszlo Babai
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
19.Integrating the Specification Techniques of Graph Transformation and Temporal Logic

机译：集成图形转换和时间逻辑的规范技术
- 作者：Reiko Heckel;Hartmut Ehrig;Uwe Wolter;Andrea Corradini
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
20.Lower Bounds for a Proof System with an Exponential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus

机译：持有持续深度弗赖基系统和多项式微积分的指数加速的证明系统下限
- 作者：Jan Krajicek
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
21.Deciding Verbose Languages with Linear Advice

机译：决定用线性建议的冗长语言
- 作者：Arfst Nickelsen
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
22.NP-Hard Sets Have Many Hard Instances

机译：NP-Hard Sets有许多硬实例
- 作者：Martin Mundhenk
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
23.Game Semantics for Programming Languages

机译：用于编程语言的游戏语义
- 作者：Samson Abramsky
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
24.A Characterization of Abstract Families of Algebraic Power Series

机译：代数功率系列抽象家庭的特征
- 作者：Georg Karner;Werner Kuich
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
25.A Topological Generalization of Propositional Linear Time Temporal Logic

机译：命题线性时间颞逻辑的拓扑概括
- 作者：Bernhard Heinemann
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
26.Routing with Finite Speeds of Memory and Network

机译：使用有限速度的内存和网络路由
- 作者：Jop F. Sibeyn
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
27.A Tile-Based Coordination View of Asynchronous π-calculus

机译：基于瓷砖的异步π-微分的协调视图
- 作者：GianLuigi Ferrari;Ugo Montanari
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
28.Partial Characterization of Synchronization Languages

机译：同步语言的部分表征
- 作者：Isabelle Ryl;Yves Roos;Mireille Clerbout
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
29.Optimal Algorithms for Complete Linkage Clustering in d Dimensions

机译：D尺寸完全链接聚类的最佳算法
- 作者：Drago Krznaric;Christos Levcopoulos
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
30.Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States

机译：一维蜂窝自动机与11个州的一维蜂窝自动机的实时产生
- 作者：Ivan Korec
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
31.Minimal Letter Frequency in n-th Power-Free Binary Words

机译：N-TH无功率二进制单词中最小的字母频率
- 作者：Roman Kolpakov;Gregory Kucherov
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
32.Homomorphic Images of Sentential Forms and Terminating Grammars

机译：句子形式的同态图像和终止语法
- 作者：Holger Petersen
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
33.Dependency-Based Action Refinement

机译：基于依赖性的动作细化
- 作者：Arend Rensink;Heike Wehrheim
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
34.The Giant Component Threshold for Random Regular Graphs with Edge Faults

机译：具有边缘故障的随机常规图的巨大分量阈值
- 作者：Andreas Goerdt
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
35.On the Generation of Trees by Hyper edge Replacement

机译：通过超边缘替换生成树木
- 作者：Prank Drewes
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
36.Distances Between Languages and Reflexivity of Relations

机译：语言与关系反射性之间的距离
- 作者：Christian Choffrut;Giovanni Pighizzini
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
37.Positive Applications of Lattices to Cryptography

机译：格子对加密的阳性应用
- 作者：Cynthia Dwork
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
38.Regulation by Valences

机译：按价值调节
- 作者：Henning Fernau;Ralf Stiebe
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
39.A Hierarchy for (1, +k)-Branching Programs with Respect to k

机译：关于k的（1，+ k） - 拟人的层次结构
- 作者：P. Savicky;S. Zak
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
40.A Shift-Invariant Metric on S~(zz) Inducing a Non-trivial Topology

机译：S〜（ZZ）诱导非琐碎拓扑的转移不变度量
- 作者：G. Cattaneo;E. Formenti;L. Margara;J. Mazoyer
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
41.Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams

机译：分区的复杂性理论结果（非确定）二元决策图
- 作者：Beate Bollig;Ingo Wegener
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
42.Invertible Linear Cellular Automata over Algorithmic and Dynamical Aspects

机译：在算法和动态方面的可逆线性蜂窝自动机
- 作者：Giovanni Manzini;Luciano Margara
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
43.Simplification Orders for Term Graph Rewriting

机译：术语图重写的简化订单
- 作者：Detlef Plump
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
44.Decomposition of TrPTL Formulas

机译：TRPTL公式的分解
- 作者：Raphael Meyer;Antoine Petit
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
45.Partial Order Semantics and Read Arcs

机译：部分秩序语义和读弧
- 作者：Walter Vogler
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
46.Relating Conflict-Free Stable Transition and Event Models

机译：与非冲突的稳定转换和事件模型相关
- 作者：Zurab Khasidashvili;John Glauert
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
47.Learning to Perform Knowledge-Intensive Inferences

机译：学习表演知识密集型的推论
- 作者：Dan Roth
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
48.Treewidth: Algorithmic Techniques and Results

机译：树宽：算法技术和结果
- 作者：Hans L. Bodlaender
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
49.Counting Problems over the Reals

机译：计算真实问题
- 作者：Klaus Meer
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
50.The Complexity of Policy Evaluation for Finite-Horizon Partially-Observable Markov Decision Processes

机译：有限地平线部分可观察马尔可夫决策过程的政策评估的复杂性
- 作者：Martin Mundhenk;Judy Goldsmith;Eric Allender
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年
51.Two-Level Contextual Grammars: The Internal Case

机译：两级语境语法：内部案例
- 作者：Carlos Martin-Vide;Joan Miquel-Verges;Gheorghe Paun
- 会议名称：《International Symposium on Matheamtical Foundations of Computer Science》 | 1997年