加载中…
2023-07-10
First order synthesis for data words revisited
Julien GrangeMathieu Lehaut
文献摘要
We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本