Normal form of Lukasiewicz logic formulae and related counting problems

被引：1

作者：

机构：

[1] [1,Wang, Qing-Ping

[2] Wang, Guo-Jun

来源：

Wang, G.-J. (gjwang@snnu.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 24期

关键词：

Equivalence classes;

D O I：

10.3724/SP.J.1001.2013.04231

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] A Formalization of the Smith Normal Form in Higher-Order Logic
Divason, Jose
Thiemann, Rene
JOURNAL OF AUTOMATED REASONING, 2022, 66 (04) : 1065 - 1095
[32] ASYMPTOTIC FORMULAE OF EIGENVALUE-COUNTING FUNCTION FOR ELLIPTIC EIGENVALUE PROBLEMS ON A BOUNDED DOMAIN WITH A FRACTAL BOUNDARY
Minoru Yanagawa
王忠
孙炯
Annals of Differential Equations, 2002, (02) : 147 - 159
[33] Solving Magnetodynamic Problems via Normal Form Method
Ugwuanyi, Nnaemeka S.
Clenet, Stephane
Kestelyn, Xavier
Thomas, Olivier
IEEE TRANSACTIONS ON MAGNETICS, 2022, 58 (09)
[34] On a class of optimal partition problems related to the Fučík spectrum and to the monotonicity formulae
Monica Conti
Susanna Terracini
Gianmaria Verzini
Calculus of Variations and Partial Differential Equations, 2005, 22 : 45 - 72
[35] DISTRIBUTION OF NUMBERS OF FORM SIGMA(NORMAL)-NORMAL AND ON SOME RELATED QUESTIONS
ERDOS, P
PACIFIC JOURNAL OF MATHEMATICS, 1974, 52 (01) : 59 - 65
[36] Extracting logic circuit structure from Conjunctive Normal Form descriptions
Fu, Zhaohui
Malik, Sharad
20TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: TECHNOLOGY CHALLENGES IN THE NANOELECTRONICS ERA, 2007, : 37 - +
[37] Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
Jose Divasón
René Thiemann
Journal of Automated Reasoning, 2022, 66 (4) : 1097 - 1097
[38] Hypergraph transversal computation and related problems in logic and AI
Eiter, T
Gottlob, G
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 549 - 564
[39] Normal Form Formulae of Turing-Turing Bifurcation for Partial Functional Differential Equations With Nonlinear Diffusion
Xing, Yue
Jiang, Weihua
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2025, 48 (05) : 5660 - 5680
[40] Complexity of Normal Form Properties and Reductions for Term Rewriting Problems
Verma, Rakesh
FUNDAMENTA INFORMATICAE, 2009, 92 (1-2) : 145 - 168

← 1 2 3 4 5 →