...
机译:为生物启发的太空自动机设计一种非常规的形式逻辑
INT - International Nanobiological Testbed Ltd., via A. Zotti 86, 1-00121 Rome, Italy;
autonomous robots; space exploration; formal logic; bionanotechnology;
机译:证明理论元胞自动机作为非常规计算的逻辑
机译:蜂窝自动机的正式逻辑
机译:游戏,自动机,逻辑和正式验证(Gandalf 2016)
机译:使用(N)TLCharts的视觉形式规范:具有时间逻辑和自然语言条件转换的状态图自动机
机译:自动机,形式语言和实变量(包括多模式,L系统和元胞自动机)之间的复杂性理论并行。
机译:基于广义概率自动机的语义计算形式模型
机译:关于没有Letichevsky标准的自动机的一些评论(代数系统,形式语言以及常规和非常规计算理论)
机译:自动机游戏,随机自动机和形式语言