Normal Forms

Normal Forms is a formal syntactic representation in propositional logic and formal languages that belongs to the class of logical normalizations, distinguished by its standardized structure—such as conjunctive or disjunctive form—which simplifies logical equivalence checking, automated reasoning, and computational processing.

1.1K

Publications

54.3K

Citations

1.8K

Authors

802

Institutions

Publications per year

2017–2026

87

Authors

1.8K

  1. PY
    Pei Yu

    Western University, Canada

    15 publications · 671 citations

    14

    h-index

  2. VV
    Vijay Vittal

    Arizona State University, United States

    10 publications · 513 citations

    10

    h-index

  3. LL
    Leonid Libkin

    University of Edinburgh, United Kingdom

    9 publications · 645 citations

    9

    h-index

  4. AA
    Antonio Algaba

    Universidad de Huelva, Spain

    8 publications · 266 citations

    8

    h-index

  5. JA
    Jan A. Sanders

    Vrije Universiteit Amsterdam, Netherlands

    8 publications · 228 citations

    8

    h-index

1–5 of 1.8K

Venues

  1. Journal of Differential Equations

    24 publications · 1.5K citations

    19

    h-index

  2. International Journal of Bifurcation and Chaos

    IJBC · 20 publications · 1.3K citations

    16

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 20 publications · 1.3K citations

    16

    h-index

  4. Physica D Nonlinear Phenomena

    13 publications · 855 citations

    13

    h-index

  5. Nonlinearity

    17 publications · 471 citations

    13

    h-index

1–5