Concepedia

Critical Pair Resolution

Critical Pair Resolution is a methodological framework within the domain of analytical chemistry that enables the precise separation and identification of structurally similar compounds, particularly isomers or closely related molecular species, by optimizing chromatographic or spectroscopic conditions to achieve baseline resolution of their overlapping signals.

14

Publications

598

Citations

33

Authors

20

Institutions

Publications per year

2017–2026

1

Parents

Publications

14

History and basic features of the critical-pair/completion procedure

Bruno Buchberger · Journal of Symbolic Computation · 1987 · 85 citations

, , +3

Equational inference, canonical proofs, and proof orderings

Leo Bachmair, Nachum Dershowitz · Journal of the ACM · 1994 · 81 citations · Full text

, , +15

Detecting Structural Refactoring Conflicts Using Critical Pair Analysis

Tom Mens, Gabriele Taentzer, Olga Runge · Electronic Notes in Theoretical Computer Science · 2005 · 77 citations · Full text

, , +14

An equational approach to theorem proving in first-order predicate calculus

Deepak Kapur, Paliath Narendran · ACM SIGSOFT Software Engineering Notes · 1985 · 74 citations

, , +16

Critical pair criteria for completion

Leo Bachmair, Nachum Dershowitz · Journal of Symbolic Computation · 1988 · 61 citations

, , +3

1–5 of 14

Authors

33

  1. PN
    Paliath Narendran

    University at Albany, State University of New York, United States

    2 publications · 134 citations

    2

    h-index

  2. ND
    Nachum Dershowitz

    University of Illinois Urbana-Champaign, United States

    2 publications · 142 citations

    2

    h-index

  3. LB
    Leo Bachmair

    Stony Brook University, United States

    2 publications · 142 citations

    2

    h-index

  4. DK
    Deepak Kapur

    University of New Mexico, United States

    2 publications · 134 citations

    2

    h-index

  5. RS
    Richard Sacks

    University of Michigan, United States

    1 publications · 12 citations

    1

    h-index

1–5 of 33

Institutions

20

  1. Technische Universität Berlin

    Berlin, Germany

    2 h-index

    5 publications

    193 citations

  2. Stony Brook University

    Stony Brook, United States

    2 h-index

    2 publications

    142 citations

  3. General Electric (United States)

    Boston, United States

    2 h-index

    4 publications

    268 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    2 publications

    142 citations

  5. Boston University

    Boston, United States

    1 h-index

    2 publications

    20 citations

  6. Microsoft (United States)

    Redmond, United States

    1 h-index

    1 publications

    17 citations

  7. University of Luxembourg

    Luxembourg, Luxembourg

    1 h-index

    1 publications

    13 citations

  8. Stony Brook School

    Stony Brook, United States

    1 h-index

    1 publications

    61 citations

1–8 of 20

Venues

  1. Journal of Symbolic Computation

    3 publications · 171 citations

    3

    h-index

  2. Analytical Chemistry

    2 publications · 23 citations

    2

    h-index

  3. Technische Universität Berlin – Universitätsbibliothek

    Repository · 1 publications · 13 citations

    1

    h-index

  4. Theoretical Computer Science

    1 publications · 10 citations

    1

    h-index

  5. Journal of the ACM

    JACM · 1 publications · 81 citations

    1

    h-index

1–5