`Travelled to:`

1 × Austria

1 × Japan

1 × Poland

1 × Serbia

`Collaborated with:`

C.Fuhs F.v.Raamsdonk J.G.Simonsen A.Middeldorp T.Sternagel

`Talks about:`

order (5) higher (4) complex (3) depend (2) pair (2) non (2) determinist (1) characteris (1) interpret (1) framework (1)

## Person: Cynthia Kop

### DBLP: Kop:Cynthia

### Contributed to:

### Wrote 6 papers:

- RTA-2015-KopMS #complexity
- Conditional Complexity (CK, AM, TS), pp. 223–240.
- RTA-TLCA-2014-FuhsK #first-order
- First-Order Formative Rules (CF, CK), pp. 240–256.
- RTA-2012-FuhsK #higher-order #polynomial
- Polynomial Interpretations for Higher-Order Rewriting (CF, CK), pp. 176–192.
- RTA-2011-KopR #algebra #dependence #functional #higher-order
- Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.
- ESOP-2017-KopS #complexity #higher-order #nondeterminism #power of #programming #using
- The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming (CK, JGS), pp. 668–695.
- ESOP-2019-FuhsK #dependence #framework #higher-order
- A Static Higher-Order Dependency Pair Framework (CF, CK), pp. 752–782.