Login / Signup
Colm Ó Dúnlaing
Publication Activity (10 Years)
Years Active: 2014-2021
Publications (10 Years): 1
Top Topics
Formal Language
Computer Programs
Random Number
Preprocessing
Top Venues
CoRR
Theor. Comput. Sci.
</>
Publications
</>
Colm Ó Dúnlaing
A coefficient related to splay-to-root traversal, correct to thousands of decimal places.
CoRR
(2021)
Colm Ó Dúnlaing
An almost-confluent congruential language which is not Church-Rosser congruential.
Theor. Comput. Sci.
589 (2015)
Colm Ó Dúnlaing
An ACCL which is not a CRCL.
CoRR
(2014)