Concepedia

Syntax-semantics Interface In Mathematics

Syntax-Semantics Interface in Mathematics is a theoretical construct within the interpretation of mathematical texts that specifies how syntactic structures of mathematical expressions systematically determine and constrain their semantic meanings.

109

Publications

5.7K

Citations

195

Authors

111

Institutions

Publications per year

2017–2026

18

Parents

Publications

109

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1972 · 925 citations

, , +15

Kategorie 𝒪, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe

Wolfgang Soergel · Journal of the American Mathematical Society · 1990 · 308 citations · Full text

, , +11

Handbook of logic and language

Choice Reviews Online · 1997 · 291 citations

, , +17

Concatenation as a basis for arithmetic

W. V. Quine · Journal of Symbolic Logic · 1946 · 233 citations

, , +15

Handbook of logic and language

Computers & Mathematics with Applications · 1997 · 230 citations

, , +17

1–5 of 109

Authors

195

  1. JC
    Jiaxin Cui

    Beijing Normal University, China

    2 publications · 92 citations

    2

    h-index

  2. JA
    Janice Ahn

    West Virginia University, United States

    2 publications · 76 citations

    2

    h-index

  3. CC
    Chuansheng Chen

    University of California, Irvine, United States

    2 publications · 92 citations

    2

    h-index

  4. XY
    Xinguo Yu

    Central China Normal University, China

    2 publications · 61 citations

    2

    h-index

  5. CL
    Christoph Lange

    University of Bonn, Germany

    2 publications · 102 citations

    2

    h-index

1–5 of 195

Institutions

111

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    3 h-index

    4 publications

    979 citations

  2. Hebrew University of Jerusalem

    Jerusalem, Israel

    3 h-index

    5 publications

    179 citations

  3. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    155 citations

  4. National Institute of Informatics

    Tokyo, Japan

    2 h-index

    3 publications

    74 citations

  5. University of California, Irvine

    Irvine, United States

    2 h-index

    2 publications

    92 citations

  6. Chinese Institute for Brain Research

    Beijing, China

    2 h-index

    9 publications

    427 citations

  7. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    2 publications

    198 citations

  8. The University of Tokyo

    Tokyo, Japan

    2 h-index

    3 publications

    211 citations

1–8 of 111

Venues

  1. Transactions of the American Mathematical Society

    TRAN · 11 publications · 539 citations

    11

    h-index

  2. Proceedings of the American Mathematical Society

    PROC · 10 publications · 280 citations

    10

    h-index

  3. Theoretical Computer Science

    3 publications · 82 citations

    3

    h-index

  4. Journal of Symbolic Logic

    2 publications · 244 citations

    2

    h-index

  5. Choice Reviews Online

    CRO · 2 publications · 342 citations

    2

    h-index

1–5