首页>外文会议>其他>International Conference on Machines, Computations and Universality

International Conference on Machines, Computations and Universality

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

机译：在相对论物理学中进行正式验证计算和超支性
- 作者：Mike Stannett
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
2.A Connection Between Red-Green Turing Machines and Watson-Crick TOL Systems

机译：红绿色图灵机与Watson-Crick Tol系统之间的联系
- 作者：Erzsebet Csuhaj-Varju;Rudolf Freund;Gyorgy Vaszil
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
3.Decidability Problems for Self-induced Systems Generated by a Substitution

机译：替代生成的自我诱导系统的可解除性问题
- 作者：Timo Jolivet;Anne Siegel
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
4.A Characterization of NP Within Interval-Valued Computing

机译：间隔计算内NP的表征
- 作者：Benedek Nagy;Sandor Valyi
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
- Unconventional computing;
- Interval-valued computing;
- Complexity;
- NP;
- CoNP;
- Deterministic computing;
5.Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States

机译：具有两个状态的图控制左侧插入删除系统的普遍性
- 作者：Sergiu Ivanov;Sergey Verlan
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
6.Tight Bounds for Cut-Operations on Deterministic Finite Automata

机译：确定性有限自动机上的切割操作的紧张界限
- 作者：Frank Drewes;Markus Holzer;Sebastian Jakobi;Brink van der Merwe
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
7.Non-isometric Contextual Array Grammars with Regular Control and Local Selectors

机译：具有常规控制和本地选择器的非等距上下文阵列语法
- 作者：Henning Fernau;Rudolf Freund;Rani Siromoney;K. G. Subramanian
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
8.An Intrinsically Universal Family of Causal Graph Dynamics

机译：一个内在普遍的因果图动态家庭
- 作者：Simon Martiel;Bruno Martin
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
9.Reversible Limited Automata

机译：可逆有限自动机
- 作者：Martin Kutrib;Matthias Wendlandt
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
10.The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems

机译：分层自组装系统的仿真功率和限制
- 作者：Jacob Hendricks;Matthew J. Patitz;Trent A. Rogers
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
11.Universality in Infinite Petri Nets

机译：Infinite Petri网的普遍性
- 作者：Dmitry A. Zaitsev
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
- Universal Petri net;
- Infinite Petri net;
- Linear cellular automaton;
- Turing machine;
- Simulation;
- Complexity;
12.Tinput-Driven Pushdown Automata

机译：锡扣驱动的推动自动机
- 作者：Martin Kutrib;Andreas Malcher;Matthias Wendlandt
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2015年
13.The Language (and Series) of Hammersley-Type Processes

机译：Hammersley型流程的语言（和系列）
- 作者：Cosmin Bonchis;Gabriel Istrate;Vlad Rochian
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
14.Control Mechanisms for Array Grammars on Cayley Grids

机译：Cayley Grids阵列语法的控制机制
- 作者：Rudolf Freund
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
15.A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality

机译：愉快地漫步在分布式机器，计算和普遍性的土地上
- 作者：Michel Raynal;Jiannong Cao
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
16.A Framework for (De)composing with Boolean Automata Networks

机译：与布尔自动机网络组成的（de）框架
- 作者：Kevin Perrot;Pacome Perrotin;Sylvain Sene
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
- Boolean automata networks;
- Modules;
- Wirings Simulation;
17.Physical Computation and First-Order Logic

机译：物理计算和一阶逻辑
- 作者：Richard Whyman
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
18.An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines

机译：相当于红绿色图灵机的间隔计算的延伸
- 作者：Benedek Nagy;Sandor Valyi
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
19.Sequential Grammars with Activation and Blocking of Rules

机译：序贯语法激活和堵塞规则
- 作者：Artiom Alhazov;Rudolf Freund;Sergiu Ivanov
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
20.Minimal Useful Size of Counters for (Real-Time) Multicounter Automata

机译：（实时）Multi机器自动机的最小有用大小
- 作者：Viliam Geffert;Zuzana Bednarova
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
- Space complexity;
- Pushdown automata Counter automata;
- Real-time automata;
21.Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case

机译：在半条件语法中最小化规则和非终端：简单案例的非琐碎
- 作者：Henning Fernau;Lakshmanan Kuppusamy;Rufus O. Oladele;Indhumathi Raman
- 会议名称：《International Conference on Machines, Computations and Universality》 | 2018年
- Simple semi-conditional grammars Computational completeness;
- Descriptional complexity measures;