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 条

[41] DPDAS IN ATOMIC NORMAL-FORM AND APPLICATIONS TO EQUIVALENCE PROBLEMS
GALLIER, JH
THEORETICAL COMPUTER SCIENCE, 1981, 14 (02) : 155 - 186
[42] Asymptotic formulas for discrete eigenvalue problems in Liouville normal form
de Hoog, FR
Anderssen, RS
MATHEMATICAL MODELS & METHODS IN APPLIED SCIENCES, 2001, 11 (01): : 43 - 56
[43] STABILITY PROBLEMS ASSOCIATED WITH THE TRANSVERSE FEEDBACK LINEARIZATION NORMAL FORM
Doosthoseini, Alireza
Nielsen, Christopher
2012 25TH IEEE CANADIAN CONFERENCE ON ELECTRICAL & COMPUTER ENGINEERING (CCECE), 2012,
[44] Overstating the evidence – double counting in meta-analysis and related problems
Stephen J Senn
BMC Medical Research Methodology, 9
[45] Overstating the evidence - double counting in meta-analysis and related problems
Senn, Stephen J.
BMC MEDICAL RESEARCH METHODOLOGY, 2009, 9
[46] ON PSEUDO-C-BETA NORMAL-FORM IN COMBINATORY-LOGIC
MEZGHICHE, M
THEORETICAL COMPUTER SCIENCE, 1989, 66 (03) : 323 - 331
[47] THE REAL ALGEBRAIC NORMAL FORM: FUZZY BOOLEAN LOGIC SATISFYING Δf=0
Vielhaber, Michael
UNCERTAINTY MODELING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2012, 7 : 555 - 560
[48] On the relation between MPECs and optimization problems in abs-normal form
Hegerhorst-Schultchen, L. C.
Kirches, C.
Steinbach, M. C.
OPTIMIZATION METHODS & SOFTWARE, 2020, 35 (03): : 560 - 575
[49] A MAJORANT METHOD IN NORMAL FORM PROBLEMS FOR ANALYTIC DIFFERENTIAL EQUATION SYSTEMS
REICH, L
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1969, 239 : 78 - &
[50] PEL-CNF: Probabilistic Event Logic Conjunctive Normal Form for Video Interpretation
Selman, Joe
Amer, Mohamed
Fern, Alan
Todorovic, Sinisa
2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS), 2011,

← 1 2 3 4 5 →