Cynthia Kop
发表
Aart Middeldorp,
Cynthia Kop,
Thomas Sternagel,
2015,
RTA.
Cynthia Kop,
Naoki Nishida,
Naoki Nishida,
2015,
LPAR.
Carsten Fuhs,
Cynthia Kop,
Naoki Nishida,
2014,
ACM Trans. Comput. Log..
Cynthia Kop,
2020
.
Cynthia Kop,
Femke van Raamsdonk,
F. Raamsdonk,
2012,
Log. Methods Comput. Sci..
Carsten Fuhs,
Cynthia Kop,
2012,
RTA.
Carsten Fuhs,
Cynthia Kop,
Carsten Fuhs,
2018,
ArXiv.
Cynthia Kop,
2016,
ArXiv.
Cynthia Kop,
2020,
FSCD.
Cynthia Kop,
Naoki Nishida,
Naoki Nishida,
2014,
ArXiv.
Cynthia Kop,
2011,
CAI.
Cynthia Kop,
2017,
ArXiv.
Cynthia Kop,
2017,
ArXiv.
Carsten Fuhs,
Cynthia Kop,
Carsten Fuhs,
2011,
FroCoS.
Cynthia Kop,
Naoki Nishida,
Naoki Nishida,
2014,
APLAS.
Cynthia Kop,
Cynthia Kop,
2017,
ArXiv.
Aart Middeldorp,
Cynthia Kop,
Thomas Sternagel,
2015,
Log. Methods Comput. Sci..
Cynthia Kop,
Naoki Nishida,
Naoki Nishida,
2013,
FroCos.
Jakob Grue Simonsen,
Cynthia Kop,
2017,
ArXiv.
Carsten Fuhs,
Cynthia Kop,
2019,
ESOP.
Cynthia Kop,
Kristoffer Rose,
K. Rose,
2017,
1711.03433.
Cynthia Kop,
F. van Raamsdonk,
2010
.
Carsten Fuhs,
Cynthia Kop,
2014,
RTA-TLCA.
Cynthia Kop,
2017,
ArXiv.
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming
pdf
Jakob Grue Simonsen,
Cynthia Kop,
2017,
ESOP.
Cynthia Kop,
2018
.
Cynthia Kop,
Femke van Raamsdonk,
2011,
RTA.
Marko C. J. D. van Eekelen,
Cynthia Kop,
Bernard van Gastel,
2020,
FMICS.
Jakob Grue Simonsen,
Cynthia Kop,
2016,
FSCD.
Cynthia Kop,
Femke van Raamsdonk,
F. Raamsdonk,
2008,
LPAR.
Cynthia Kop,
Lukasz Czajka,
Cynthia Kop,
2019,
FSCD.
Jakob Grue Simonsen,
Cynthia Kop,
2017,
Log. Methods Comput. Sci..
Jakob Grue Simonsen,
Neil D. Jones,
Cynthia Kop,
2020,
VPT/HCVS@ETAPS.
Cynthia Kop,
Deivid Vale,
2021,
FSCD.
Cynthia Kop,
Deivid Vale,
2021,
ArXiv.