Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. First-order logic with metric betweenness – the case of non-definability of some graph classes;AKCE International Journal of Graphs and Combinatorics;2023-12-14
2. Beyond FO Within SO;Intelligent Systems Reference Library;2023
3. On-the-Fly Model Checking with Neural MCTS;Lecture Notes in Computer Science;2022
4. On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation;Logic Journal of the IGPL;2021-10-20
5. Formal Verification of HotStuff;Formal Techniques for Distributed Objects, Components, and Systems;2021