BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kop:Cynthia

Contributed to:

RTA 20152015
RTA-TLCA 20142014
RTA 20122012
RTA 20112011
ESOP 20172017
ESOP 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.