.png){kind=icon}
返回
Self-verifying Predicates in Buchi Arithmetic
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-02602-6_17.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们讨论一种基于Angluin算法的技术，用于自动生成Buchi算术中的各种有用一阶逻辑公式的有限自动机。以这种方式进行构造可以比更直接的方法更快且使用更少的空间。我们讨论了相关理论，并针对开源软件Walnut提供了一些实证数据。
Keyword:
finite automata
Buchi arithmetic
Angluin's algorithm
first-order logic
self-verifying predicates
期刊
I
IF:
0
论文数:
22
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏分享收藏分享收藏
查看更多内容