有穷模型论相关硕士博士期刊学术论文 - 信丰网

有穷模型论相关论文

二阶修正KROM逻辑的表达能力与复杂性

本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复......

期刊

计算复杂性描述复杂性 KROM逻辑有穷模型论

特定类有穷结构上的逻辑的表达能力

有穷模型论是受数据库理论和计算复杂性理论推动而发展起来的数理逻辑的一个研究领域。有穷模型论的主题之一就是研究逻辑在有穷结......

学位

纯算术结构平衡图不动点逻辑无穷计数逻辑可比较图传递闭包逻辑有穷模型论博弈策略

看过本文同时还关注