An inference method of quasi-weakest preconditions by minimal unsatisfiable core enumeration

被引：0

|

作者：

Imai, Takeo ^{[1
,2
]}

Sakai, Masahiro ^{[1
]}

Hagiya, Masami ^{[2
]}

机构：

[1] Toshiba Corporation, Japan

[2] University of Tokyo, Japan

来源：

Computer Software | 2013年 / 30卷 / 02期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

33

引用

收藏

页码：207 / 226

相关论文

共 1 条

[1] A recursive method for the construction and enumeration of self-orthogonal and self-dual codes over the quasi-Galois ring F2r[u]/<ue>\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {F}_{2^r}[u]/<u^e>$$\end{document}
Monika Yadav
Anuradha Sharma
Designs, Codes and Cryptography, 2023, 91 (5) : 1973 - 2003