Concepedia

Boolean Types

Boolean Types is a fundamental data type in computer science that represents a logical value belonging to the binary set of true and false, distinguished by its role in controlling program flow and enabling Boolean algebraic operations within programming and computational logic.

22

Publications

943

Citations

41

Authors

32

Institutions

Publications per year

2017–2026

2

Variants

Boolean Data TypesBooleans

Parents

Publications

22

Some high level language constructs for data of type relation

Joachim W. Schmidt · ACM Transactions on Database Systems · 1977 · 338 citations · Full text

, , +11

Logical constants across varying types.

Johan van Benthem · Notre Dame Journal of Formal Logic · 1989 · 68 citations · Full text

, , +15

Propositions, Questions, and Adjectives: a rich type theoretic approach

Jonathan Ginzburg, Robin Cooper, Tim Fernando · 2014 · 66 citations · Full text

, , +13

On specifying Boolean functions by labelled examples

Martin Anthony, Graham Brightwell, John Shawe‐Taylor · Discrete Applied Mathematics · 1995 · 59 citations

, , +12

Von Neumann algebras and Boolean valued analysis

Gaisi Takeuti · Journal of the Mathematical Society of Japan · 1983 · 48 citations · Full text

, , +8

1–5 of 22

Authors

41

  1. JW
    Joachim W. Schmidt

    Universität Hamburg, Germany

    3 publications · 374 citations

    3

    h-index

  2. DM
    David McAllester

    Toyota Technological Institute at Chicago, United States

    2 publications · 38 citations

    2

    h-index

  3. RZ
    Ramin Zabih

    Cornell University, United States

    2 publications · 38 citations

    2

    h-index

  4. HS
    Hans Smessaert

    KU Leuven, Belgium

    1 publications · 14 citations

    1

    h-index

  5. JS
    John Shawe‐Taylor

    University College London, United Kingdom

    1 publications · 59 citations

    1

    h-index

1–5 of 41

Institutions

32

  1. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    4 publications

    76 citations

  2. Universität Hamburg

    Hamburg, Germany

    2 h-index

    2 publications

    36 citations

  3. Princeton University

    Princeton, United States

    1 h-index

    1 publications

    36 citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    1 h-index

    2 publications

    88 citations

  5. Trinity College Dublin

    Dublin, Ireland

    1 h-index

    1 publications

    66 citations

  6. University of Minnesota

    Minneapolis, United States

    1 h-index

    1 publications

    31 citations

  7. Turing Institute

    Glasgow, United Kingdom

    1 h-index

    1 publications

    44 citations

  8. Royal Holloway University of London

    Egham, United Kingdom

    1 h-index

    1 publications

    59 citations

1–8 of 32

Venues

  1. ACM SIGPLAN Notices

    2 publications · 41 citations

    2

    h-index

  2. Cognitive Psychology

    1 publications · 36 citations

    1

    h-index

  3. Advanced Materials

    1 publications · 28 citations

    1

    h-index

  4. ACM Transactions on Database Systems

    TODS · 1 publications · 338 citations

    1

    h-index

  5. Justus-Liebig-Universität Gießen

    Repository · 1 publications · 17 citations

    1

    h-index

1–5