Concepedia

Set-theoretic Boolean Operations

Set-Theoretic Boolean Operations is a formal mathematical framework that encompasses the fundamental operations of union, intersection, and complementation on sets, distinguished by their adherence to the axiomatic structure of Boolean algebra within the context of set theory.

36

Publications

3.4K

Citations

70

Authors

47

Institutions

Publications per year

2017–2026

4

Parents

Publications

36

On some new operations in soft set theory

Muhammad İrfan Ali, Feng Feng, Xiaoyan Liu et al. · Computers & Mathematics with Applications · 2009 · 1.4K citations

, , +3

Set operations on polyhedra using binary space partitioning trees

William Thibault, Bruce Naylor · ACM SIGGRAPH Computer Graphics · 1987 · 229 citations · Full text

, , +12

Merging BSP trees yields polyhedral set operations

Bruce Naylor, John Amanatides, William Thibault · 1990 · 213 citations

, , +15

Algebraic structures of soft sets associated with new operations

Muhammad İrfan Ali, Muhammad Shabir, Munazza Naz · Computers & Mathematics with Applications · 2011 · 187 citations

, , +13

A unified framework for the formal verification of sequential circuits

Olivier Coudert, J.C. Madre · 2002 · 180 citations

, , +14

1–5 of 36

Authors

70

  1. WT
    William Thibault

    AT&T (United States), United States

    4 publications · 673 citations

    4

    h-index

  2. BN
    Bruce Naylor

    AT&T (United States), United States

    3 publications · 552 citations

    3

    h-index

  3. SM
    Shin-ichi Minato

    Hokkaido University, Japan

    3 publications · 58 citations

    3

    h-index

  4. MS
    Muhammad Shabir

    Quaid-i-Azam University, Pakistan

    2 publications · 1.6K citations

    2

    h-index

  5. CW
    Carsten Weise

    Aalborg University, Denmark

    2 publications · 96 citations

    2

    h-index

1–5 of 70

Institutions

47

  1. AT&T (United States)

    Bedminster, United States

    4 h-index

    4 publications

    673 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    2 publications

    350 citations

  3. California State University System

    Long Beach, United States

    2 h-index

    2 publications

    323 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    6 publications

    198 citations

  5. Uppsala University

    Uppsala, Sweden

    2 h-index

    6 publications

    250 citations

  6. Aalborg University

    Aalborg, Denmark

    2 h-index

    6 publications

    250 citations

  7. Quaid-i-Azam University

    Islamabad, Pakistan

    2 h-index

    3 publications

    3.1K citations

  8. York University

    Toronto, Canada

    2 h-index

    2 publications

    323 citations

1–8 of 47

Venues

  1. Computers & Mathematics with Applications

    2 publications · 1.6K citations

    2

    h-index

  2. ACM SIGGRAPH Computer Graphics

    2 publications · 339 citations

    2

    h-index

  3. Computer-Aided Design

    2 publications · 66 citations

    2

    h-index

  4. Journal of Pure and Applied Algebra

    1 publications · 53 citations

    1

    h-index

  5. International Journal of Theoretical Physics

    1 publications · 14 citations

    1

    h-index

1–5