Theoretical Computer Science

Research Output 1993 2019

Filter
Report
2015

Benchmarks for Parity Games (extended version)

Keiren, J. J. A., 2015, arXiv.

Research output: Book / ReportReportProfessional

Regularity Preserving but not Reflecting Encodings

Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2015, http://arxiv.org. 28 p.

Research output: Book / ReportReportProfessional

Encoding
Regularity
Bijective
Finite State Automata
Models of Computation
2014

Maximal Sharing in the Lambda Calculus with Letrec

Grabmayer, C. A. & Rochel, J., 2014, http://arxiv.org: arXiv.org. 37 p. (arXiv [cs.PL]; no. arXiv:1401.1460)

Research output: Book / ReportReportProfessional

Lambda Calculus
Sharing
Term
Unfolding
Graph in graph theory
1999

Descendants and origins in term rewriting.

Bethke, I., Klop, J. W. & de Vrijer, R. C., 1999, Nijmegen, The Netherlands: Computing Science Institute, KU Nijmegen. (CSI; no. R9921)

Research output: Book / ReportReportAcademic