×
加亚尔斯克，雅库布；斯蒂芬·克鲁泽；雅罗斯拉夫·内舍特伊尔；帕特丽斯·奥斯纳·德门德斯；Micha Pilipczuk；塞巴斯蒂安·西伯茨；西门托伦奇克

有界展开类的一阶解释。 （英语） 兹比尔1446.68094

ACM事务处理。计算。日志。 21，第4号，第29条，第41页（2020年）.

引用于9文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
05C75号 图族的结构特征

关键词：

稀疏图类；有界展开；一阶逻辑；逻辑解释；模型检查
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，ACM Trans。计算。日志。21，第4号，第29条，第41页（2020年；Zbl 1446.68094）
全文： 内政部 arXiv公司 链接